v1.3.1:
missing tex fix
v1.3.1:
missing tex fix