minor edits in example