documentation touchups #7