diff --git a/ChangeLog b/ChangeLog
index e710295a5..8236f1361 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-01-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ltlgspn.cc (main): Typo, use MIN_ARG.
+
 2004-01-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* iface/gspn/dcswaveeltl.test, iface/gspn/udcsefm.test,
diff --git a/iface/gspn/ltlgspn.cc b/iface/gspn/ltlgspn.cc
index 537f1a2fc..1bdfdc8de 100644
--- a/iface/gspn/ltlgspn.cc
+++ b/iface/gspn/ltlgspn.cc
@@ -114,7 +114,7 @@ main(int argc, char **argv)
 	syntax(argv[0]);
 
 
-      while (argc >= formula_index + 3)
+      while (argc >= formula_index + MIN_ARG)
 	{
 	  env.declare(argv[argc - 1]);
 	  --argc;