diff --git a/collects/typed-scheme/scribblings/more.scrbl b/collects/typed-scheme/scribblings/more.scrbl
index 189e5506..09a93055 100644
--- a/collects/typed-scheme/scribblings/more.scrbl
+++ b/collects/typed-scheme/scribblings/more.scrbl
@@ -2,7 +2,8 @@
 
 @begin[(require "utils.rkt"
 		scribble/core scribble/eval
-		(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
+		(for-label (only-meta-in 0 typed/racket)
+                           (only-in mzlib/etc let+)))]
 
 @title[#:tag "more"]{Specifying Types}
 
@@ -17,7 +18,7 @@ language, allowing types to be specified and used.
 @section{Type Annotation and Binding Forms}
 
 In general, variables in Typed Racket must be annotated with their
-type.  
+type.
 
 @subsection{Annotating Definitions}
 
@@ -159,3 +160,5 @@ Any type can be given a name with @racket[define-type].
 
 Anywhere the name @racket[NN] is used, it is expanded to
 @racket[(Number -> Number)].   Type names may not be recursive.
+
+@(close-eval the-eval)
diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl
index e766f023..94c6d6cf 100644
--- a/collects/typed-scheme/scribblings/types.scrbl
+++ b/collects/typed-scheme/scribblings/types.scrbl
@@ -2,7 +2,7 @@
 
 @begin[(require "utils.rkt"
 		scribble/core scribble/eval
-		(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
+		(for-label (only-meta-in 0 typed/racket)))]
 
 @(define the-eval (make-base-eval))
 @(the-eval '(require typed/racket))
@@ -254,6 +254,7 @@ The new type constructor @racket[All] takes a list of type
 variables and a body type.  The type variables are allowed to
 appear free in the body of the @racket[All] form.
 
+@(close-eval the-eval)
 
 @include-section["varargs.scrbl"]