Make sure all HTML pages generated from this section have reasonable

names.

Markup nits.