Fixed minor bugs in document