Fix rendering of HTML in codeToHTML.