minor ameliorations of the doc