Fix typo in Introduction