Fix typos in introduction