documentation touchups #8