Little syntax fixes