delete extraneous whitespace