Minor changes to the example 4.e