repairing index.html