Minor whitespace change.