diff --git a/macrotypes/examples/mlish.rkt b/macrotypes/examples/mlish.rkt
index 94ec627..3adea15 100644
--- a/macrotypes/examples/mlish.rkt
+++ b/macrotypes/examples/mlish.rkt
@@ -945,7 +945,7 @@
    #:with τ_out* (syntax-parse #'τ_out
                    [(~?∀ (X ...) (~?∀ (Y ...) τ_out))
                     (for ([X (in-list (syntax->list #'(X ...)))]
-                          #:when (stx-contains-id? #'Xs* X))
+                          #:when (stx-contains-id? #'Xs X)) ;; To cause an error, the X must be part of the original signature (I think?)
                       (unless (covariant-X? X #'τ_out)
                         (raise-app-poly-infer-error stx #'(τ_in ...) #'(τ_arg ...) #'e_fn)))
                     #'(?∀ (X ... Y ...) τ_out)])
diff --git a/macrotypes/examples/tests/mlish-tests.rkt b/macrotypes/examples/tests/mlish-tests.rkt
index 24d143c..52647b2 100644
--- a/macrotypes/examples/tests/mlish-tests.rkt
+++ b/macrotypes/examples/tests/mlish-tests.rkt
@@ -389,8 +389,8 @@
   : (→ (→/test X X) (List (→/test X X)) (List (→/test X X))))
 (check-type map : (→/test (→ X Y) (List X) (List Y)))
 
-#;(check-type (Cons (λ ([x : X]) x) Nil)
-    : (List (→/test {X} X X)))
+(check-type (Cons (λ ([x : X]) x) Nil)
+  : (List (→/test {X} X X)))
 
 (define (nn [x : X] -> (→ (× X (→ Y Y))))
   (λ () (tup x (λ ([x : Y]) x))))