Clean up index.html a bit.