Added some elisp to help fix up the tags in the generated HTML.