minor bug fix in index.html