Remove some unneeded whitespace-stripping.