Small fixes to  syntax