Misc doc edits.