Fix typos in 00_Intro

Closes #160