diff --git a/ChangeLog b/ChangeLog
index 481c14d5e..e8dfae514 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-04-17  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard
+	counter-example computation for -e5 too.
+
 	* iface/gspn/ltlgspn.cc (main) [!SSP]: Do not accept -e3, -e4, or -e5.
 	(main) [SSP]: Use the standard counter-example computation
 	for -e and -e1.
diff --git a/iface/gspn/ltlgspn.cc b/iface/gspn/ltlgspn.cc
index 2bf5523cf..84f23900a 100644
--- a/iface/gspn/ltlgspn.cc
+++ b/iface/gspn/ltlgspn.cc
@@ -236,6 +236,7 @@ main(int argc, char **argv)
 		      {
 		      case Couvreur:
 		      case Couvreur2:
+		      case Couvreur5:
 			ce = new spot::counter_example(ecs);
 			break;
 		      default: