Fixing bugs in the documentation.