A few minor syntactical fixes