Error in example 1.3.3