diff --git a/collects/typed-racket/infer/signatures.rkt b/collects/typed-racket/infer/signatures.rkt
index 0ce1a8ad..64ad524d 100644
--- a/collects/typed-racket/infer/signatures.rkt
+++ b/collects/typed-racket/infer/signatures.rkt
@@ -27,7 +27,7 @@
    [cond-contracted c-meet ((c? c?) (symbol?) . ->* . c?)]))
 
 (define-signature restrict^
-  ([cond-contracted restrict ((Type/c Type/c) ((or/c 'new 'orig)) ->* Type/c)]))
+  ([cond-contracted restrict ((Type/c Type/c) ((or/c 'new 'orig)) . ->* . Type/c)]))
 
 (define-signature infer^
   ([cond-contracted infer ((;; variables from the forall
diff --git a/collects/typed-racket/types/utils.rkt b/collects/typed-racket/types/utils.rkt
index 082a2630..5223007d 100644
--- a/collects/typed-racket/types/utils.rkt
+++ b/collects/typed-racket/types/utils.rkt
@@ -12,7 +12,11 @@
          "tc-error.rkt")
 
 
-(provide (all-from-out "tc-result.rkt" "tc-error.rkt"))
+;; Don't provide things that may be exported with a contract
+(provide (except-out (all-from-out "tc-result.rkt" "tc-error.rkt")
+                     tc-error/expr
+                     lookup-fail
+                     lookup-type-fail))
 
 
 ;; unfold : Type -> Type