Get rid of wholly unnecessary whitespace