Minor whitespace change