diff --git a/ChangeLog b/ChangeLog
index d8c858556..966028a86 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-06-23  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/tgba/tgbatba.cc (tgba_tba_proxy::format_state): Use
+	bdd_format_accset to print the acceptance condition part of the state.
+	That produces more readable output.
+
 	* wrap/python/cgi/ltl2tgba.in: Add "Formula Simplications" options.
 	* wrap/python/spot.i: Wrap src/ltlvisite/reduce.hh.
 
diff --git a/src/tgba/tgbatba.cc b/src/tgba/tgbatba.cc
index 4043b5109..2e638da05 100644
--- a/src/tgba/tgbatba.cc
+++ b/src/tgba/tgbatba.cc
@@ -258,8 +258,10 @@ namespace spot
   {
     const state_tba_proxy* s = dynamic_cast<const state_tba_proxy*>(state);
     assert(s);
-    return a_->format_state(s->real_state()) + "("
-      + bdd_format_set(get_dict(), s->acceptance_cond()) + ")";
+    std::string a = bdd_format_accset(get_dict(), s->acceptance_cond());
+    if (a != "")
+      a = " " + a;
+    return a_->format_state(s->real_state()) + a;
   }
 
   state*