Minor eddits in index.html