Minor whitespace correction