minor formatting to intro.tex