Fixed a couple of tag errors in html format exporter