diff --git a/examples/overview.lisp b/examples/overview.lisp
index 79c8443..61d99c6 100644
--- a/examples/overview.lisp
+++ b/examples/overview.lisp
@@ -7,6 +7,8 @@
 (cat:cat-init)
 (cat:kenzo-version)
 
+(setf cat:*results-verbose* nil)
+
 (format t "~%Creating simplicial set Moore(Z/2Z,3):")
 (defvar m23 (cat:moore 2 3))
 (print m23)
diff --git a/kenzo-test.asd b/kenzo-test.asd
index 65a004d..a9f2c28 100644
--- a/kenzo-test.asd
+++ b/kenzo-test.asd
@@ -19,7 +19,7 @@
 	       (:file "circle")
 	       (:file "combinations-test")
 	       (:file "cones-test")
-	       ;;(:file "cl-space-efhm-test")
+	       (:file "cl-space-efhm-test")
 	       (:file "delta-test")
 	       (:file "diabolo")
 	       (:file "effective-homology-test")
diff --git a/package.lisp b/package.lisp
index 6058725..9ba3d26 100644
--- a/package.lisp
+++ b/package.lisp
@@ -17,6 +17,7 @@
 	   *ID-FG*
 	   *ID-GF-DH-HD*
            *LIST-LIST*
+	   *RESULTS-VERBOSE*
 	   *TC*
 	   *TDD*
 	   *TNPR-WITH-DEGREES*