Small corrections to the docs