A ltl bit of correction