Minor HTML adjustments

this makes result valid HTML5