Minor whitespace cleanup.