Minor fixes to syntax