minor syntax fixes.