fixed bugs in documentation.