minor changes in example for clarity