Ooops. Now index.html is correctly updated