Fixed some bugs in the docs.