Fix some small syntactical glitches