fixed a typo in the introduction