Correct an example in the users guide