small edits and clarifications