diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 5e49e8f7..e03ffa73 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -480,6 +480,9 @@
      
      ;; syntax operations
      
+     [expand (-> (-Syntax Univ) (-Syntax Univ))]
+     [expand-once (-> (-Syntax Univ) (-Syntax Univ))]
+     
      [syntax-source (-poly (a) (-> (-Syntax a) Univ))]
      [syntax-position (-poly (a) (-> (-Syntax a) (-opt N)))]
      [datum->syntax (cl->*