fixed a few errors in the documentation