Fix example in docs.