fixes to syntax