fixed a few bugs in the documentation