small fix to index.html