minor cleanup of HTML file