Minor edits and clarifications