A bit more wordsmithing on intro.tex