diff --git a/collects/tests/typed-scheme/succeed/paths.rkt b/collects/tests/typed-scheme/succeed/paths.rkt
index aa752e1a..34be9499 100644
--- a/collects/tests/typed-scheme/succeed/paths.rkt
+++ b/collects/tests/typed-scheme/succeed/paths.rkt
@@ -16,7 +16,7 @@
   ((unix) 'windows)
   ((windows) 'unix)))
 
-(: other-foo-path SomeSystemPath)
+(: other-foo-path Path-For-Some-System)
 (define other-foo-path
  (build-path/convention-type other-system
   (string->some-system-path "foo" other-system) 
diff --git a/collects/typed-scheme/base-env/base-types.rkt b/collects/typed-scheme/base-env/base-types.rkt
index 6d52354a..31ee4be1 100644
--- a/collects/typed-scheme/base-env/base-types.rkt
+++ b/collects/typed-scheme/base-env/base-types.rkt
@@ -1,7 +1,5 @@
 #lang s-exp "type-env-lang.rkt"
 
-(provide (rename-out [Path-For-Some-System SomeSystemPath]))
-
 [Complex -Number]
 [Number -Number]
 [Inexact-Complex -InexactComplex]