Some corrections to the docs.