Fixing Ltl dependency