diff --git a/ChangeLog b/ChangeLog
index 9bb560d70..d5617a293 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,11 @@
-2005-01-29  Alexandre Duret-Lutz  <adl@gnu.org>
+2005-01-30  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* bench/emptchk/Makefile.am (dist_noinst_SCRIPTS): Add pml-clserv.sh
+	and pml-eeaean.sh.
+	* bench/emptchk/ltl-human.sh: Typo in densities.
+	Reported by Denis.
+
+2005-01-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* doc/mainpage.dox: More text, and a link to "Modules".
 
@@ -13,7 +20,7 @@
 
 	* src/tgbatest/randtgba.cc (syntax): Missing std::endl.
 
-2005-01-29  Alexandre Duret-Lutz  <adl@gnu.org>
+2005-01-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 	    Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* bench/Makefile.am, bench/emptchk/Makefile.am,
diff --git a/bench/emptchk/Makefile.am b/bench/emptchk/Makefile.am
index dfbbe065e..0e9d1c4e6 100644
--- a/bench/emptchk/Makefile.am
+++ b/bench/emptchk/Makefile.am
@@ -26,7 +26,9 @@ noinst_SCRIPTS = defs
 dist_noinst_SCRIPTS = \
   pml2tgba.pl \
   ltl-human.sh \
-  ltl-random.sh
+  ltl-random.sh \
+  pml-clserv.sh \
+  pml-eeaean.sh
 
 dist_noinst_DATA = \
   models/cl3serv1.pml \
diff --git a/bench/emptchk/ltl-human.sh b/bench/emptchk/ltl-human.sh
index 1bde52588..f0dd6cda6 100644
--- a/bench/emptchk/ltl-human.sh
+++ b/bench/emptchk/ltl-human.sh
@@ -27,14 +27,14 @@ opts="-1 -D -e 15 -n 1024 -t 0.5 -r -z -i $FORMULAE"
 
 echo "WITHOUT ADDITIONAL ACCEPTING CONDITIONS"
 
-for d in 0.001 0.002 0.1; do
+for d in 0.001 0.002 0.01; do
   echo "density: $d"
   $RANDTGBA -d $d $opts
 done
 
 echo "WITH 3 ADDITIONAL ACCEPTING CONDITIONS"
 
-for d in 0.001 0.002 0.1; do
+for d in 0.001 0.002 0.01; do
   echo "density: $d"
   $RANDTGBA -a 3 0.0133333 -d $d $opts
 done