documentation touchups #3