Fix the first example too