Deleted spurious index.html