more fixes to the docs