some simple syntax fixes