a few minor syntax fixes