Minor edits to exit conditions; example edits