changing file name in index.html