Small tidy up of HTML front end