Typos in examples