fix bug in example