minor fixes to syntax