small fix in index.html