yet another whitespace deletion