Correct the example