remove superfluous whitespace