small fixes to html