diff --git a/NEWS b/NEWS
index c2742cd4c1dbc4be51aad47968325fa057dbdd20..1dea940df188b2021a48ef9129ab061bcb2834d9 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 1.2.2a (not yet released)
 
-  Nothing yet.
+  * Bug fixes:
+
+    - More fixes for Python 3 compatibility.
 
 New in spot 1.2.2 (2014-01-24)
 
diff --git a/wrap/python/spot.i b/wrap/python/spot.i
index 58dc34368a8f347cb905f0533d02a8630f1df91b..ac11bcf1cd2b38b193a941e2a79c748ff0b7bb74 100644
--- a/wrap/python/spot.i
+++ b/wrap/python/spot.i
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2011, 2012, 2013  Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014  Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2005, 2006  Laboratoire d'Informatique
 // de Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -457,6 +457,12 @@ __nonzero__()
   return !self->empty();
 }
 
+bool
+__bool__()
+{
+  return !self->empty();
+}
+
 }
 
 %extend spot::tgba_parse_error_list {
@@ -467,4 +473,10 @@ __nonzero__()
   return !self->empty();
 }
 
+bool
+__bool__()
+{
+  return !self->empty();
+}
+
 }
diff --git a/wrap/python/tests/interdep.py b/wrap/python/tests/interdep.py
index 52f90d7f65339137903e369da5fb5913c273783a..c569711d142bca041d8c9b8b6f3423ccb505961c 100755
--- a/wrap/python/tests/interdep.py
+++ b/wrap/python/tests/interdep.py
@@ -1,6 +1,6 @@
 # -*- mode: python; coding: utf-8 -*-
-# Copyright (C) 2010, 2012 Laboratoire de Recherche et Développement
-# de l'EPITA.
+# Copyright (C) 2010, 2012, 2014 Laboratoire de Recherche et
+# Développement de l'EPITA.
 # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6
 # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
 # Pierre et Marie Curie.
@@ -42,3 +42,7 @@ while not iter.done():
            # it means buddy can grok spot's objects.
     iter.next()
 sys.stdout.write("%s\n" % b)
+del b
+del c
+del f
+del a
diff --git a/wrap/python/tests/parsetgba.py b/wrap/python/tests/parsetgba.py
index 2a075ebfa43da1fc732aa7e46782e24cebd76d33..05abe5bb5aae337b0a0d4108ad92350638366582 100755
--- a/wrap/python/tests/parsetgba.py
+++ b/wrap/python/tests/parsetgba.py
@@ -1,5 +1,5 @@
 # -*- mode: python; coding: utf-8 -*-
-# Copyright (C) 2012 Laboratoire de Recherche et Développement
+# Copyright (C) 2012, 2014 Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -41,4 +41,8 @@ assert not p
 
 spot.dotty_reachable(spot.get_cout(), a)
 
+del p
+del a
+del d
+
 os.unlink(filename)