Minor whitespace cleanup