diff --git a/collects/scribblings/tools/tools.scrbl b/collects/scribblings/tools/tools.scrbl
index 96585bb184..6499709eef 100644
--- a/collects/scribblings/tools/tools.scrbl
+++ b/collects/scribblings/tools/tools.scrbl
@@ -1,6 +1,7 @@
 #lang scribble/doc
 @(begin
 (require scribble/manual
+         (for-label drscheme/tool-lib)
          (for-label scheme/unit)
          (for-label scheme/base)
          (for-label framework/framework))