ex10.tex typo