small fix to html code