clean up extraneous whitespaces