diff --git a/spot/twa/twagraph.cc b/spot/twa/twagraph.cc
index 85481d4e6..4037ba72d 100644
--- a/spot/twa/twagraph.cc
+++ b/spot/twa/twagraph.cc
@@ -297,7 +297,7 @@ namespace spot
     for (auto& e: g_.edges())
       {
         all = bdd_exist(all, bdd_support(e.cond));
-        if (all == bddtrue)    // All letters are used.
+        if (all == bddtrue)    // All APs are used.
           return;
       }
     auto d = get_dict();