minor tweak in example