minor modification to index.html