Small fix in example