drop more spurious whitespace