trivial whitespace fix