minor cosmetic changes to the html