Fix example in documentation