fix example in documentation