issue112.tex, correct