diff --git a/ChangeLog b/ChangeLog
index 6ed5996a2..241f7cb00 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
+2004-07-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	Patch from Heikki Tauriainen <heikki.tauriainen@hut.fi>.
+	* src/tgbaalgos/gtec/ce.cc (counter_example::counter_example): Do
+	not parenthesize the type after the new operator (g++ 3.4 complains).
+	* src/tgbaalgos/dupexp.cc (dupexp_iter::process_state,
+	dupexp_iter::declare_state): Use this->automata_ instead of
+	automata_.    Local member automata_ inherited from template base
+	classes must be prefixed or g++ 3.4 will not look them
+	up (conforming to §14.6.2.3).
+
 2004-07-07  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* lbtt/: Merge lbtt 1.1.0.
diff --git a/src/tgbaalgos/dupexp.cc b/src/tgbaalgos/dupexp.cc
index 291a8ab45..54c2923ad 100644
--- a/src/tgbaalgos/dupexp.cc
+++ b/src/tgbaalgos/dupexp.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -46,7 +46,7 @@ namespace spot {
     process_state(const state* s, int n, tgba_succ_iterator*)
     {
       std::ostringstream os;
-      os << "(#" << n << ") " << automata_->format_state(s);
+      os << "(#" << n << ") " << this->automata_->format_state(s);
       name_[n] = os.str();
     }
 
@@ -58,7 +58,7 @@ namespace spot {
       if (i == name_.end())
 	{
 	  std::ostringstream os;
-	  os << "(#" << n << ") " << automata_->format_state(s);
+	  os << "(#" << n << ") " << this->automata_->format_state(s);
 	  name_[n] = str = os.str();
 	}
       else
diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc
index 86edc2796..dac2f2415 100644
--- a/src/tgbaalgos/gtec/ce.cc
+++ b/src/tgbaalgos/gtec/ce.cc
@@ -42,7 +42,7 @@ namespace spot
     int comp_size = root.size();
     // Transform the stack of connected component into an array.
     explicit_connected_component** scc =
-      new (explicit_connected_component*)[comp_size];
+      new explicit_connected_component*[comp_size];
     for (int j = comp_size - 1; 0 <= j; --j)
       {
 	scc[j] = eccf->build();