Fixed a few bugs in the documentation