Fix example in doc