typo in introduction.tex fixed