Fix dumb bug in example code.