small edits in examples