Fixed minor bugs in the documentation