doc edits, minor changes