Little syntax modifications