eliminate extraneous whitespace