Small whitespace cleanup.