Cosmetic changes in documentation