Minor whitespace fix