fix a typo in type.tex