whitespace in generated HTML