minor doc edits