Trivial whitespace fixup