minor fix in index.html