Fix up index.html