fix index.html (which had a wrong extension