further typo fixes in the intro