reformatting of white-space