more cosmetic changes to docs