cosmetic improvements to docs