Fixed up index.html.