Minor fixes to docs and formatting.