Fixing example 5.3