Correct examples in the documentation

Fix the examples so they actually work.