minor: edits