minor fix in index html