diff --git a/racket/collects/setup/infotab.rkt b/racket/collects/setup/infotab.rkt
index 972cbef86b..6fe3f5292c 100644
--- a/racket/collects/setup/infotab.rkt
+++ b/racket/collects/setup/infotab.rkt
@@ -16,6 +16,7 @@
                             (loop (cdr defns)
                                   (syntax-case (car defns) (define)
                                     [(define var val)
+                                     (identifier? #'var)
                                      (cons (syntax var) r)]
                                     ;; In case it gets expanded:
                                     [(define-values (var) val)