minors fixes to the docs