a few edits to intro.tex