fix HTML so that the syntax highlighting is not broken
Merge pull request #3112 from xabbuh/issue-3111

fix HTML so that the syntax highlighting is not broken