clean up extraneous whitespace