diff --git a/ansi-tests/make-condition.lsp b/ansi-tests/make-condition.lsp
index 2cf9df271401553caf6ef6feb4cd2e522ec0928b..0b1ee2d1382ed571272a83758dc4922a6b2d82d4 100644
--- a/ansi-tests/make-condition.lsp
+++ b/ansi-tests/make-condition.lsp
@@ -26,6 +26,7 @@
   nil)
 
 (deftest make-condition.3
+  (:notes :make-condition-with-compound-name :ansi-spec-problem)
   (let* ((tp '(or program-error type-error))
 	 (c (make-condition tp)))
     (or (not (and (subtypep tp 'condition)
@@ -35,6 +36,7 @@
   t)
 
 (deftest make-condition.4
+  (:notes :make-condition-with-compound-name :ansi-spec-problem)
   (let* ((tp '(and simple-error type-error))
 	 (c (make-condition tp)))
     (or (not (and (subtypep 'simple-error tp)
diff --git a/ansi-tests/notes.lsp b/ansi-tests/notes.lsp
index 7b6cb1fc16c6cadab9a48fb2402462a803f7f256..95d5bc8ed59cde248fa99fb28013bbfb18d1758c 100644
--- a/ansi-tests/notes.lsp
+++ b/ansi-tests/notes.lsp
@@ -32,6 +32,12 @@ contain the object, not just to some builtin type that contains the object.")
 
 #+sbcl (rt::disable-note :open-if-exists-new-version-no-error)
 
+(defnote :make-condition-with-compound-name
+  "The spec says MAKE-CONDITION should work on any subtype of CONDITION, but this causes all sorts of problems.  They probably meant only non-compound names.")
+
+(defnote :ansi-spec-problem
+  "A catch-all for tests that illustrate problems in the ANSI spec.")
+
 (defnote :negative-zero-is-similar-to-positive-zero
   "The definition of similarity implies that -0.0 and 0.0 are similar (for each float type.)
 If negative zeros are distinct this is probably not good, since it makes (defconstant x 0.0) be nonportable.")