fixes to the docs