diff --git a/src/cmp/cmptype.lsp b/src/cmp/cmptype.lsp
index 001e83170..42949d2aa 100644
--- a/src/cmp/cmptype.lsp
+++ b/src/cmp/cmptype.lsp
@@ -145,20 +145,20 @@
 		 (t
 		  `(AND ,t1 ,t2))))
 	  ((eq tag1 'CONS)
-	   (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t1)
+	   (cmpnote "Unsupported CONS type ~S. Replacing it with T." t1)
 	   t2)
 	  ((eq tag2 'CONS)
-	   (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t2)
+	   (cmpnote "Unsupported CONS type ~S. Replacing it with T." t2)
 	   t1)
 	  ((null tag1)
            (setf c::*compiler-break-enable* t)
            ;(error "foo")
-	   (cmpwarn "Unknown type ~S. Assuming it is T." t1)
+	   (cmpnote "Unknown type ~S. Assuming it is T." t1)
 	   t2)
 	  (t
            (setf c::*compiler-break-enable* t)
            ;(error "foo")
-	   (cmpwarn "Unknown type ~S. Assuming it is T." t2)
+	   (cmpnote "Unknown type ~S. Assuming it is T." t2)
 	   t1))))
 
 (defun values-type-primary-type (type)
@@ -309,16 +309,16 @@
 		 (t
 		  `(OR ,t1 ,t2))))
 	  ((eq tag1 'CONS)
-	   (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t1)
+	   (cmpnote "Unsupported CONS type ~S. Replacing it with T." t1)
 	   T)
 	  ((eq tag2 'CONS)
-	   (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t2)
+	   (cmpnote "Unsupported CONS type ~S. Replacing it with T." t2)
 	   T)
 	  ((null tag1)
-	   (cmpwarn "Unknown type ~S" t1)
+	   (cmpnote "Unknown type ~S" t1)
 	   T)
 	  (t
-	   (cmpwarn "Unknown type ~S" t2)
+	   (cmpnote "Unknown type ~S" t2)
 	   T))))
 
 (defun type>= (type1 type2)