Fixed minor bugs in documentation