Correcting the example.