Minor fixes to docs