Minor fixes to docs.