Minor corrections to the docs