Fix bug in HTML file