Fixed typo in intro0.tex