diff --git a/collects/tests/typed-scheme/succeed/force-delay.ss b/collects/tests/typed-scheme/succeed/force-delay.ss
new file mode 100644
index 00000000..fd411d55
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/force-delay.ss
@@ -0,0 +1,9 @@
+#lang typed-scheme
+
+(require scheme/promise)
+
+;((plambda: (a) ([x : a]) x) (error 'foo))
+
+(force (delay 3))
+
+(call-with-values (lambda () 3) list)
diff --git a/collects/tests/typed-scheme/succeed/string-const.ss b/collects/tests/typed-scheme/succeed/string-const.ss
index 39354bc7..8512f3c7 100644
--- a/collects/tests/typed-scheme/succeed/string-const.ss
+++ b/collects/tests/typed-scheme/succeed/string-const.ss
@@ -2,4 +2,6 @@
 
 (require string-constants/string-constant)
 
-(string-constant cancel)
\ No newline at end of file
+(string-constant cancel)
+
+(this-language)
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
index 91d8d5f7..75445e57 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
@@ -35,7 +35,8 @@
   (syntax-case stx ()
     [(_ e)
      #`(parameterize ([delay-errors? #f]
-                      [current-namespace (namespace-anchor->namespace anch)])
+                      [current-namespace (namespace-anchor->namespace anch)]
+                      [orig-module-stx (quote-syntax e)])
          (let ([ex (expand 'e)])
            (find-mutated-vars ex)
            (tc-expr ex)))]))
@@ -648,7 +649,8 @@
         ))
   (test-suite
    "check-type tests"
-   (test-exn "Fails correctly" exn:fail:syntax? (lambda () (check-type #'here N B)))
+   (test-exn "Fails correctly" exn:fail:syntax? (lambda () (parameterize ([orig-module-stx #'here])
+                                                             (check-type #'here N B))))
    (test-not-exn "Doesn't fail on subtypes" (lambda () (check-type #'here N Univ)))
    (test-not-exn "Doesn't fail on equal types" (lambda () (check-type #'here N N)))
    )