TeX Reader: Improved error messages