additional fixes to the docs