a set of very minor doc edits