cosmetic change in documentation