bugfixing in index.html