Fix trivial whitespace inconsistency