small fixes to index.html