more minor doc edits