small fix to html