Minor whitespace fix.