Fixed bugs in introduction.tex