Fix typos in 00_Intro