diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
index 834aa68f..49305965 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
@@ -68,6 +68,12 @@
        [_ (make-Vector (apply Un 
                               (for/list ([l (syntax-e #'i)])
                                 (tc-literal l #f))))])]
+    [(~var i (3d hash?))
+     (let* ([h (syntax-e #'i)]
+            [ks (hash-map h (lambda (x y) (tc-literal x)))]
+            [vs (hash-map h (lambda (x y) (tc-literal y)))])
+       (make-Hashtable (apply Un ks) (apply Un vs)))]
+    [(a . b) (-pair (tc-literal #'a) (tc-literal #'b))]
     [_ Univ]))
 
 
diff --git a/collects/typed/framework/framework.rkt b/collects/typed/framework/framework.rkt
index ee624fbc..f5341ed5 100644
--- a/collects/typed/framework/framework.rkt
+++ b/collects/typed/framework/framework.rkt
@@ -35,7 +35,7 @@
   ((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))])
 
 (require/typed/provide "prefs-contract.ss"
-                       [preferences:get-drscheme:large-letters-font (-> (U #f (Pair String Integer)))])
+                       [preferences:get-drracket:large-letters-font (-> (U #f (Pair String Integer)))])
 
 (require (only-in "prefs-contract.ss" preferences:get))
 (provide preferences:get)
diff --git a/collects/typed/framework/prefs-contract.rkt b/collects/typed/framework/prefs-contract.rkt
index dd62fb14..9abefcc0 100644
--- a/collects/typed/framework/prefs-contract.rkt
+++ b/collects/typed/framework/prefs-contract.rkt
@@ -4,10 +4,10 @@
          framework/framework)
 
 (provide (rename-out [-preferences:get preferences:get])
-         preferences:get-drscheme:large-letters-font)
+         preferences:get-drracket:large-letters-font)
 
-(define (preferences:get-drscheme:large-letters-font)
-  (preferences:get 'drscheme:large-letters-font))
+(define (preferences:get-drracket:large-letters-font)
+  (preferences:get 'drracket:large-letters-font))
 
 (define-syntax (-preferences:get stx)
   (syntax-case stx (quote)