Fix the example