Small cleanup in the html