superfluous whitespace