Add some forgotten changes to index.html