Minor whitespace edit