Fix another example #72