Fix in example code