Minor bugfixes in index.html