Some minor syntactical fixes