Fixed a two minor bugs in the documentation.