Correct examples in the documentation