Trivial whitespace cleanup. :)