minor changes to index.html formatting