diff --git a/NEWS b/NEWS
index df08882e80ffaee85425f79d97334816dcb76ef0..68b5f8edc0ea172dbe95a59938b789346f9c9d72 100644
--- a/NEWS
+++ b/NEWS
@@ -10,7 +10,8 @@ New in spot 2.3.1.dev (not yet released)
 
   Python:
 
-  - The bdd_to_formula() function can now be called in Python.
+  - The bdd_to_formula(), and to_generalized_buchi() functions can now
+    be called in Python.
 
   Documentation:
 
diff --git a/python/spot/impl.i b/python/spot/impl.i
index 5da4cec6081a9189960394febfd0b7f0f8b66b64..fedae556eca05f040e196ae746c69c26d6deddad 100644
--- a/python/spot/impl.i
+++ b/python/spot/impl.i
@@ -134,6 +134,7 @@
 #include <spot/twaalgos/neverclaim.hh>
 #include <spot/twaalgos/randomize.hh>
 #include <spot/twaalgos/remfin.hh>
+#include <spot/twaalgos/totgba.hh>
 #include <spot/twaalgos/sccinfo.hh>
 #include <spot/twaalgos/strength.hh>
 #include <spot/twaalgos/sccfilter.hh>
@@ -536,6 +537,7 @@ def state_is_accepting(self, src) -> "bool":
 %include <spot/twaalgos/neverclaim.hh>
 %include <spot/twaalgos/randomize.hh>
 %include <spot/twaalgos/remfin.hh>
+%include <spot/twaalgos/totgba.hh>
 %traits_swigtype(spot::scc_info_node);
 %fragment(SWIG_Traits_frag(spot::scc_info_node));
 %include <spot/twaalgos/sccinfo.hh>