Minor fixes to the docs