Trivial syntax fixes