manual: minor edits/updates