fix HTML so that the syntax highlighting is not broken