Correct examples in documentation