trivial whitespace fixup