Cosmetic: Whitespace cleanup.