More minor doc edits.