Fix text errors in introduction.tex