Cosmetic changes to docs