Fix a couple typos in Intro