Correct some bugs in the documentation.