Trivial whitespace fix.