Documentation typo
-rw-r--r-- 14870 conteq.dtx