Fix another bug in example code.