Generated HTML: Minor whitespace change