smallfixes in index.html