minor cosmetic edits to index.html