remove obsolete whitespace