diff --git a/src/bar.lisp b/src/bar.lisp
index 9953cfb..9433902 100644
--- a/src/bar.lisp
+++ b/src/bar.lisp
@@ -31,7 +31,7 @@
 (abar 2 'a 3))  ;; error
 |#
 
-#-sbcl (DEFCONSTANT +NULL-ABAR+ (make-abar :list +empty-list+))
+#-sbcl (DEFINE-CONSTANT +NULL-ABAR+ (make-abar :list +empty-list+))
 #+sbcl (DEFPARAMETER +NULL-ABAR+ (make-abar :list +empty-list+))
 
 ;;; -[CLISP
diff --git a/src/classifying-spaces.lisp b/src/classifying-spaces.lisp
index 7420b8c..780223f 100644
--- a/src/classifying-spaces.lisp
+++ b/src/classifying-spaces.lisp
@@ -6,7 +6,7 @@
 
 (provide "classifying-spaces")
 
-#-sbcl (DEFCONSTANT +NULL-GBAR+ (make-gbar :dmns 0 :list +empty-list+))
+#-sbcl (DEFINE-CONSTANT +NULL-GBAR+ (make-gbar :dmns 0 :list +empty-list+))
 #+sbcl (DEFPARAMETER +NULL-GBAR+ (make-gbar :dmns 0 :list +empty-list+))
 
 (DEFUN GBAR-PRINT (gbar stream depth)
diff --git a/src/cobar.lisp b/src/cobar.lisp
index 572e43f..4bcc0af 100644
--- a/src/cobar.lisp
+++ b/src/cobar.lisp
@@ -28,7 +28,7 @@
 (allp 2 'a 3))  ;; error
 |#
 
-#-sbcl(DEFCONSTANT +NULL-ALLP+ (make-allp :list +empty-list+))
+#-sbcl (DEFINE-CONSTANT +NULL-ALLP+ (make-allp :list +empty-list+))
 #+sbcl (DEFPARAMETER +NULL-ALLP+ (make-allp :list +empty-list+))
 
 
@@ -45,7 +45,8 @@
                    (format stream "[~D ~A]" degr gnrt)))
       (format stream ">>")
       allp)))
-            
+
+
 (DEFUN COBAR-CMPR (cmpr)
   (declare (type cmprf cmpr))
   (flet ((rslt (allp1 allp2)
diff --git a/src/loop-spaces.lisp b/src/loop-spaces.lisp
index ac30f3c..654f237 100644
--- a/src/loop-spaces.lisp
+++ b/src/loop-spaces.lisp
@@ -6,7 +6,7 @@
 
 (PROVIDE "loop-spaces")
 
-#-sbcl (DEFCONSTANT +NULL-LOOP+ (make-loop :list +empty-list+))
+#-sbcl (DEFINE-CONSTANT +NULL-LOOP+ (make-loop :list +empty-list+))
 #+sbcl (DEFPARAMETER +NULL-LOOP+ (make-loop :list +empty-list+))
 
 ;;; NILOOP = non-normalized iloop; a common dgop is possible.