Fix typo in introduction