ltl fixes