minor changes to html