Trivial whitespace fix