diff --git a/spot/twaalgos/Makefile.am b/spot/twaalgos/Makefile.am
index 9ce9c2750..48f0db39b 100644
--- a/spot/twaalgos/Makefile.am
+++ b/spot/twaalgos/Makefile.am
@@ -38,6 +38,7 @@ twaalgos_HEADERS = \
   copy.hh \
   cycles.hh \
   degen.hh \
+  determinize.hh \
   dot.hh \
   dtbasat.hh \
   dtwasat.hh \
@@ -66,7 +67,6 @@ twaalgos_HEADERS = \
   remfin.hh \
   remprop.hh \
   strength.hh \
-  safra.hh \
   sbacc.hh \
   sccfilter.hh \
   sccinfo.hh \
@@ -94,6 +94,7 @@ libtwaalgos_la_SOURCES = \
   copy.cc \
   cycles.cc \
   degen.cc \
+  determinize.cc \
   dot.cc \
   dtbasat.cc \
   dtwasat.cc \
@@ -122,7 +123,6 @@ libtwaalgos_la_SOURCES = \
   remprop.cc \
   relabel.cc \
   strength.cc \
-  safra.cc \
   sbacc.cc \
   sccinfo.cc \
   sccfilter.cc \
diff --git a/spot/twaalgos/safra.cc b/spot/twaalgos/determinize.cc
similarity index 99%
rename from spot/twaalgos/safra.cc
rename to spot/twaalgos/determinize.cc
index 12a41bae2..8fe4c22c1 100644
--- a/spot/twaalgos/safra.cc
+++ b/spot/twaalgos/determinize.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015 Laboratoire de Recherche et
-// Développement de l'Epita.
+// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement
+// de l'Epita.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -23,7 +23,7 @@
 #include <utility>
 #include <unordered_map>
 
-#include "safra.hh"
+#include "spot/twaalgos/determinize.hh"
 #include "spot/twaalgos/degen.hh"
 #include "spot/twaalgos/sccfilter.hh"
 #include "spot/twaalgos/simulation.hh"
diff --git a/spot/twaalgos/safra.hh b/spot/twaalgos/determinize.hh
similarity index 98%
rename from spot/twaalgos/safra.hh
rename to spot/twaalgos/determinize.hh
index 4205f0ce1..5a46197c5 100644
--- a/spot/twaalgos/safra.hh
+++ b/spot/twaalgos/determinize.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015 Laboratoire de Recherche et Développement
+// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement
 // de l'Epita.
 //
 // This file is part of Spot, a model checking library.
diff --git a/tests/core/safra.cc b/tests/core/safra.cc
index 60e0aa006..2e6adf90e 100644
--- a/tests/core/safra.cc
+++ b/tests/core/safra.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015 Laboratoire de Recherche et Développement
+// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -27,7 +27,7 @@
 #include "spot/twaalgos/degen.hh"
 #include "spot/twaalgos/dot.hh" // print_dot
 #include "spot/twaalgos/hoa.hh" // print_hoa
-#include "spot/twaalgos/safra.hh"
+#include "spot/twaalgos/determinize.hh"
 #include "spot/twaalgos/translate.hh"