Correction of bad merge in index.html