Update minor bugs in documentation