minor fixes to the docs