diff --git a/ChangeLog b/ChangeLog
index 08c994ae2..d676c4274 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-02-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/ltl2baw.pl (END): Ensure LTL2TGBA is always
+	closed.
+
 2004-02-11  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbatest/ltl2tgba.cc (syntax): Recognize "-" as input
diff --git a/src/tgbatest/ltl2baw.pl b/src/tgbatest/ltl2baw.pl
index 4c6acf859..774da9e36 100755
--- a/src/tgbatest/ltl2baw.pl
+++ b/src/tgbatest/ltl2baw.pl
@@ -96,6 +96,11 @@ else
     open(LTL2TGBA, "| ./ltl2tgba -T -X -");
   }
 
+END {
+  # This also waits for ltl2tgba's termination.
+  close(LTL2TGBA) || die "error closing pipe to ltl2tgba";
+}
+
 my @args = dquote @ARGV;
 open(LTL2BA, "ltl2ba -d @args |") || die "failed to run ltl2ba";
 
@@ -203,7 +208,6 @@ else
 	print_state($src);
       }
   }
-close(LTL2TGBA)
 
 ### Setup "GNU" style for perl-mode and cperl-mode.
 ## Local Variables: