Minor fixes in index.html