slight fix in latex tool