Minor whitespace.