Minor syntactical changes to index.html