Minor tweak in example code.