minor change to html file