more cosmetic changes in doc