diff --git a/src/cmp/cmplam.lsp b/src/cmp/cmplam.lsp
index d2ef5745f..32ddff434 100644
--- a/src/cmp/cmplam.lsp
+++ b/src/cmp/cmplam.lsp
@@ -137,7 +137,7 @@ The function thus belongs to the type of functions that ecl_make_cfun accepts."
         ;; a flexible signature.
         (progn
           (multiple-value-setq (minarg maxarg) (get-proclaimed-narg name))
-          (cmpnote "~&;;; Function ~A proclaimed (~A,~A)" name minarg maxarg)
+          (cmpdebug "~&;;; Function ~A proclaimed (~A,~A)" name minarg maxarg)
           (unless minarg
             (setf minarg 0 maxarg call-arguments-limit)))
         (multiple-value-setq (minarg maxarg)
diff --git a/src/cmp/cmptype-assert.lsp b/src/cmp/cmptype-assert.lsp
index 6e89b3dc6..72ba6a1a1 100644
--- a/src/cmp/cmptype-assert.lsp
+++ b/src/cmp/cmptype-assert.lsp
@@ -119,7 +119,7 @@
            form)
           ;; Otherwise, emit a full test
           (t
-           (cmpnote "Checking type of ~S to be ~S" value type)
+           (cmpdebug "Checking type of ~S to be ~S" value type)
            (let ((full-check
                   (with-clean-symbols (%checked-value)
                     `(let* ((%checked-value ,value))
@@ -140,11 +140,11 @@
 expression, ensuring that it is satisfied."
   (when (and (policy-type-assertions env)
              (not (trivial-type-p type)))
-    (cmpnote "Checking type of ~A to be ~A" value type)
+    (cmpdebug "Checking type of ~A to be ~A" value type)
     `(checked-value ,type ,value)))
 
 (defmacro type-assertion (&whole whole value type &environment env)
   "Generates a type check on an expression, ensuring that it is satisfied."
-  (cmpnote "Checking type of ~A to be ~A" value type)
+  (cmpdebug "Checking type of ~A to be ~A" value type)
   (unless (trivial-type-p type)
     (expand-type-assertion value type env t)))