Fix example in docs on documentation