Fixing an error in the example