Pedantic removal of needless whitespace