Trivial change

Whitespace