fixed bugs in docs.html