Some small fixes to index.html