Fix the example.