fix a problem in example