Minor: whitespace fix.