minor modification on index.html