removed weird typo in introduction