Minor whitespace adjustment