Fix another example