some ltl changes