Fix the example after