small changes to the html file