remove excessive whitespace-stripping

before this change spaces in html attributes were being removed
entirely, so that for example <div class="foo bar"> was becoming
<div class="foobar">.