Some fixes in index.html