diff --git a/ChangeLog b/ChangeLog
index 54ea26ede..4fb21cbae 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,8 +1,10 @@
 2003-07-25  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* iface/gspn/dcswave.test: Comment state space sizes.
+
 	* src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS): Add reachiters.hh.
 	(libtgbaalgos_la_SOURCES): Add reachiters.cc.
-	* src/tgbaalgos/dotty.cc, src/tgbaalgos/save.cc: Rewrite using 
+	* src/tgbaalgos/dotty.cc, src/tgbaalgos/save.cc: Rewrite using
 	spot::tgba_reachable_iterator_breadth_first.
 	* src/tgbatest/explicit.test, src/tgbatest/tgbaread.test,
 	src/tgbatest/tripprod.test: Adjust expected output.
diff --git a/iface/gspn/dcswave.test b/iface/gspn/dcswave.test
index 753b98a13..1d19358be 100755
--- a/iface/gspn/dcswave.test
+++ b/iface/gspn/dcswave.test
@@ -6,5 +6,8 @@ set -e
 
 cp -R $srcdir/examples/DCSwave .
 
+# Run this if you want, it builds approximately 3,600,000 states.
 # ../dottygspn-rg DCSwave/DCSWave ATTiIDLj SCi SCj >output
+
+# Only 5,579 states.
 ../dottygspn-srg DCSwave/DCSWave ATTiIDLj SCi SCj >output