documentation touchups #5