Bugfixes in index.html