Fix another code example