small bug in example