minor change to index.html