minor syntax fixes