Minor changes in the example