minor addition to html