diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss
index 7ec8285c9e..ca2f20171f 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss
@@ -155,7 +155,7 @@
         [(quote #t) (ret (-val #t) (list (make-True-Effect)) (list (make-True-Effect)))]
         [(quote val)  (ret (tc-literal #'val))]
         ;; syntax
-        [(quote-syntax datum) (ret Any-Syntax)]
+        [(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))]
         ;; mutation!
         [(set! id val)
          (match-let* ([(tc-result: id-t) (tc-expr #'id)]
@@ -241,7 +241,7 @@
       
       [(quote val)  (ret (tc-literal #'val))]
       ;; syntax
-      [(quote-syntax datum) (ret Any-Syntax)]
+      [(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))]
       ;; w-c-m
       [(with-continuation-mark e1 e2 e3)
        (begin (tc-expr/check #'e1 Univ)