Small fixes to syntax