DOC bug in example