Some corrections in the docs.