trivial syntax fixes