diff --git a/src/kenzo.lisp b/src/kenzo.lisp
index 555f0ef..e9ad30a 100644
--- a/src/kenzo.lisp
+++ b/src/kenzo.lisp
@@ -63,7 +63,7 @@ complexes.")
 (SETF *CHCM-LIST* +EMPTY-LIST+)
 (PUSHNEW '*CHCM-LIST* *LIST-LIST*)
 
-(DEFPARAMETER +MAXIMAL-DIMENSION+ 16)
+(DEFPARAMETER +MAXIMAL-DIMENSION+ 15)
 
 (DEFVAR *MRPH-LIST*
   "This variable is bound to a list of user created morphisms.")
diff --git a/test/bar-test.lisp b/test/bar-test.lisp
index 238fd28..2016c25 100644
--- a/test/bar-test.lisp
+++ b/test/bar-test.lisp
@@ -202,7 +202,7 @@
   (check-rdct))
 
 
-(test vrtc-bar
+(test vrtc-bar1
       (progn
 	(cat:cat-init)
 
diff --git a/test/cl-space-efhm-test.lisp b/test/cl-space-efhm-test.lisp
index e9d7105..b8852c5 100644
--- a/test/cl-space-efhm-test.lisp
+++ b/test/cl-space-efhm-test.lisp
@@ -3,7 +3,7 @@
 
 (in-suite :kenzo)
 
-
+#|
 (test cs-hat-u-t
       (cat:cat-init)
       (let* ((c (cat:cs-hat-u-t (cat:k-z-1)))
@@ -53,8 +53,9 @@
 	      (print (cat:? c (+ 4 abar-degr) gnrt))
 	      (is (cat:cmbn-zero-p (cat:? c (cat:? c (+ 4 abar-degr)
 						   gnrt)))))))))
+|#
 
-
+#|
 (test cs-hat-t-u
       (cat:cat-init)
       (dotimes (i 5) (print (random-abar 8 4)))
@@ -106,8 +107,9 @@
 	      (print (cat:? c (+ 4 abar-degr) gnrt))
 	      (is (cat:cmbn-zero-p (cat:? c (cat:? c (+ 4 abar-degr)
 						   gnrt)))))))))
+|#
 
-
+#|
 (test cs-left-hmeq-hat
       (cat:cat-init)
       (let ((c (cat:cs-left-hmeq-hat (cat:k-z-1)))
@@ -153,6 +155,7 @@
 	      (print (cat:? c (+ 4 abar-degr) gnrt))
 	      (is (cat:cmbn-zero-p (cat:? c (cat:? c (+ 4 abar-degr)
 						   gnrt)))))))))
+|#
 
 
 (test cs-pre-left-hmeq-left-reduction-intr-f
@@ -369,9 +372,10 @@
 	      (setf cat:*bc* (cat:cmbn abar-degr 1 abar))
 	      (check-rdct))))))
 
-
+#|
 (test cs-left-hmeq-right-reduction
       (cat:cat-init)
+
       (let ((rdct (cat:cs-left-hmeq-right-reduction (cat:k-z-1)))
 	    abar-degr
 	    gnrt)
@@ -427,7 +431,7 @@
 	      (setf cat:*tc* (cat:cmbn (+ 4 abar-degr) 1 gnrt))
 	      (setf cat:*bc* (cat:cmbn abar-degr 1 abar))
 	      (check-rdct))))))
-
+|#
 
 (test cs-left-hmeq
       (cat:cat-init)