Examples and typos