diff --git a/src/cmp/cmptop.lsp b/src/cmp/cmptop.lsp
index e0e4cda3f..56aaa9449 100644
--- a/src/cmp/cmptop.lsp
+++ b/src/cmp/cmptop.lsp
@@ -31,6 +31,7 @@
                      (*current-form* form)
                      (*first-error* t)
                      (*setjmps* 0))
+  (setq form (chk-symbol-macrolet form))
   (when (consp form)
     (let ((fun (car form)) (args (cdr form)) fd)
       (when (member fun *toplevel-forms-to-print*)