diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
index 65b02a9ffc..e01ed3c029 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
@@ -473,7 +473,9 @@
   [#:frees (λ (f) (f parent))])
 
 
+;; Syntax
 ;; t : Type
+;; t is the type of the result of syntax-e, not the result of syntax->datum
 (def-type Syntax ([t Type/c]) [#:key 'syntax])
 
 ;; A Row used in type instantiation
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
index fcda24d1f5..82351c8d50 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
@@ -149,6 +149,7 @@
 (define/decl -FlVector (make-Base 'FlVector #'flvector? flvector?))
 (define/decl -ExtFlVector (make-Base 'ExtFlVector #'extflvector? extflvector?))
 (define/decl -FxVector (make-Base 'FxVector #'fxvector? fxvector?))
+;; in the type (-Syntax t), t is the type of the result of syntax-e, not syntax->datum
 (define -Syntax make-Syntax)
 (define/decl In-Syntax
   (-mu e