diff --git a/collects/eopl/eopl.scrbl b/collects/eopl/eopl.scrbl
index 1296467202..4dc194df97 100644
--- a/collects/eopl/eopl.scrbl
+++ b/collects/eopl/eopl.scrbl
@@ -4,7 +4,7 @@
           scheme/list
           (for-label eopl/eopl
                      scheme/contract
-                     (only-in scheme printf pretty-print)))
+                     (only-in scheme printf pretty-print delay force)))
 
 @(define-syntax-rule (def-mz id)
    (begin
diff --git a/collects/lazy/lazy.scrbl b/collects/lazy/lazy.scrbl
index e5d13c248e..b27d8056ec 100644
--- a/collects/lazy/lazy.scrbl
+++ b/collects/lazy/lazy.scrbl
@@ -1,7 +1,8 @@
 #lang scribble/doc
 @(require (for-label (except-in lazy delay force)
                      (only-in lazy/force ! !! !list !!list)
-                     scheme/contract))
+                     scheme/contract
+                     (only-in scheme/promise promise?)))
 
 @(define-syntax-rule (deflazy mod def id)
    (begin