ltl bug