some fixes to html syntax