Minor: whitespace correction