diff --git a/collects/typed-racket/types/base-abbrev.rkt b/collects/typed-racket/types/base-abbrev.rkt
index 6bd1b23d..b9b88446 100644
--- a/collects/typed-racket/types/base-abbrev.rkt
+++ b/collects/typed-racket/types/base-abbrev.rkt
@@ -5,7 +5,7 @@
 
 (require (rep type-rep filter-rep object-rep rep-utils)
          (env mvar-env)
-         racket/match racket/list (prefix-in c: racket/contract/base)
+         racket/match racket/list (prefix-in c: (contract-req))
          (for-syntax racket/base syntax/parse racket/list)
          (for-template racket/base))
 
diff --git a/collects/typed-racket/types/tc-error.rkt b/collects/typed-racket/types/tc-error.rkt
index 458af8d9..739e82ca 100644
--- a/collects/typed-racket/types/tc-error.rkt
+++ b/collects/typed-racket/types/tc-error.rkt
@@ -4,12 +4,12 @@
          (rep type-rep filter-rep object-rep rep-utils)
          (utils tc-utils)
          "base-abbrev.rkt"
-         (rename-in (contract-req) [-> c:->] [->* c:->*])
+         (prefix-in c: (contract-req))
          racket/match)
 
 (provide/cond-contract
- [tc-error/expr ((string?) (#:return any/c #:stx syntax?) #:rest (listof any/c)
-                 . c:->* . any/c)]
+ [tc-error/expr ((string?) (#:return c:any/c #:stx syntax?) #:rest (c:listof c:any/c)
+                 . c:->* . c:any/c)]
 
  [lookup-fail (identifier? . c:-> . Type/c)]
  [lookup-type-fail (identifier? . c:-> . Type/c)])