Fix bug in HTML.