Fixes to the docs