Fixed name problem in html.js