some minor HTML syntax fixes

These are just a few fixes in the generated HTML.