documentation touchups and cosmetic changes