Fixed bugs in documentation.