Minor fixes in the html.