Introduction typos