minor fix to index.html