diff --git a/typed-racket-lib/typed-racket/env/lexical-env.rkt b/typed-racket-lib/typed-racket/env/lexical-env.rkt
index 813fedc5..0b9fe1ce 100644
--- a/typed-racket-lib/typed-racket/env/lexical-env.rkt
+++ b/typed-racket-lib/typed-racket/env/lexical-env.rkt
@@ -16,6 +16,8 @@
          (typecheck renamer)
          (except-in (types utils abbrev kw-types) -> ->* one-of/c))
 
+(require-for-cond-contract (rep object-rep))
+
 (provide lexical-env 
          with-lexical-env 
          with-lexical-env/extend-types
diff --git a/typed-racket-lib/typed-racket/types/path-type.rkt b/typed-racket-lib/typed-racket/types/path-type.rkt
index d1be728f..3c364f77 100644
--- a/typed-racket-lib/typed-racket/types/path-type.rkt
+++ b/typed-racket-lib/typed-racket/types/path-type.rkt
@@ -9,6 +9,8 @@
          (types subtype resolve union)
          (except-in (types utils abbrev kw-types) -> ->* one-of/c))
 
+(require-for-cond-contract (rep rep-utils))
+
 (provide/cond-contract
  [path-type ((listof PathElem?) Type/c . -> . Type/c)])