Fixed some bugs in the documentation.