Cleaning up index.html, after git messed it up.