MWTP: fix some mistakes in TeX document