minor update to tex for this version