Minor whitespace removal