small fixes to the html syntax