Some minor changes on the html