minor fix for index.html