diff --git a/ChangeLog b/ChangeLog
index 21d40e7f2..099a6caf4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-01-06  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* iface/gspn/eesrg.cc (state_gspn_eesrg::clone): Clone the right
+	state.
+
 	* iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not
 	the control automaton.
 
diff --git a/iface/gspn/eesrg.cc b/iface/gspn/eesrg.cc
index fd655f905..357eec85c 100644
--- a/iface/gspn/eesrg.cc
+++ b/iface/gspn/eesrg.cc
@@ -84,7 +84,7 @@ namespace spot
 
     virtual state_gspn_eesrg* clone() const
     {
-      return new state_gspn_eesrg(left(), right());
+      return new state_gspn_eesrg(left(), right()->clone());
     }
 
     State