fixed encoding.tex