Fixed minor bugs in documents