Fix Issue #15.

Also: Simplify the HTML generated for headings. To make them anchor
targets, don't need a gratuitous <a> element. Instead, simply set the
id attribute for the <hN> eleement.