fixing docs/index.html