Minor comment edits in index.html