diff --git a/src/ltlvisit/postfix.cc b/src/ltlvisit/postfix.cc
index 175a70952..f10c32225 100644
--- a/src/ltlvisit/postfix.cc
+++ b/src/ltlvisit/postfix.cc
@@ -1,7 +1,7 @@
-// Copyright (C) 2009, 2010  Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -78,6 +78,7 @@ namespace spot
     void
     postfix_visitor::visit(bunop* so)
     {
+      so->child()->accept(*this);
       doit(so);
     }