Minor cosmetic improvements to docs