Fixing TeX line Reader so it produces output properly