Style: unnecessary whitespace.