check comment in html_svg.js