small fix to index.html instructions