Fix typos in Intro.html