delete redundant white-spaces.