Varoius fix
ltl refactor