Small bugfixes in index.html