Minor changes in example