Small whitespace change in the html-code generated.