Clean up some code (trivial cosmetics); make <h1> a link to index