de-whitespace-ing