Some corrections to the docs