very minor index.html change