Fix in an example.