minor fix to html