documentation touchups #9