bug in example