superfluous whitespace is superfluous