Fix various errors in the introduction example