improve TeX error finding