diff --git a/spot/twaalgos/determinize.cc b/spot/twaalgos/determinize.cc
index a042f61d9..d3a3c66e2 100644
--- a/spot/twaalgos/determinize.cc
+++ b/spot/twaalgos/determinize.cc
@@ -607,9 +607,9 @@ namespace spot
   }
 
   twa_graph_ptr
-  tgba_determinisation(const const_twa_graph_ptr& a,
-                       bool pretty_print, bool use_scc,
-		       bool use_simulation, bool use_stutter)
+  tgba_determinize(const const_twa_graph_ptr& a,
+		   bool pretty_print, bool use_scc,
+		   bool use_simulation, bool use_stutter)
   {
     // Degeneralize
     twa_graph_ptr aut = spot::degeneralize_tba(a);
diff --git a/spot/twaalgos/determinize.hh b/spot/twaalgos/determinize.hh
index a4ea68a1f..3264039a0 100644
--- a/spot/twaalgos/determinize.hh
+++ b/spot/twaalgos/determinize.hh
@@ -73,9 +73,9 @@ namespace spot
   ///                    spot::check_stutter_invariance() first if
   ///                    possible.)
   SPOT_API twa_graph_ptr
-  tgba_determinisation(const const_twa_graph_ptr& aut,
-                       bool pretty_print = false,
-                       bool use_scc = true,
-                       bool use_simulation = true,
-                       bool use_stutter = true);
+  tgba_determinize(const const_twa_graph_ptr& aut,
+		   bool pretty_print = false,
+		   bool use_scc = true,
+		   bool use_simulation = true,
+		   bool use_stutter = true);
 }
diff --git a/tests/core/safra.cc b/tests/core/safra.cc
index f309fb675..0e1c63555 100644
--- a/tests/core/safra.cc
+++ b/tests/core/safra.cc
@@ -118,16 +118,16 @@ int main(int argc, char* argv[])
       spot::translator trans(dict);
       trans.set_pref(spot::postprocessor::Deterministic);
       auto tmp = trans.run(f);
-      res = spot::tgba_determinisation(tmp, pretty_print, scc_opt,
-                                       use_bisim, use_stutter);
+      res = spot::tgba_determinize(tmp, pretty_print, scc_opt,
+				   use_bisim, use_stutter);
     }
   else if (in_hoa)
     {
       auto aut = spot::parse_aut(input, dict);
       if (aut->format_errors(std::cerr))
         return 2;
-      res = tgba_determinisation(aut->aut, pretty_print, scc_opt,
-                                 use_bisim, use_stutter);
+      res = tgba_determinize(aut->aut, pretty_print, scc_opt,
+			     use_bisim, use_stutter);
     }
   if (sim)
     res = simulation(res);