diff --git a/spot/twa/twa.cc b/spot/twa/twa.cc
index 7633a8b0f..8c0cb1a7d 100644
--- a/spot/twa/twa.cc
+++ b/spot/twa/twa.cc
@@ -85,7 +85,7 @@ namespace spot
   {
     if (acc().uses_fin_acceptance())
       throw std::runtime_error("twa::accepting_run() does not work with "
-                               "Fin acceptance (but twa:is_empty() and "
+                               "Fin acceptance (but twa::is_empty() and "
                                "twa::accepting_word() can)");
     auto res = couvreur99_new_check(shared_from_this());
     if (!res)