Tiny cleanup on index.html.