fix bugs in ltl