diff --git a/collects/typed-scheme/scribblings/more.scrbl b/collects/typed-scheme/scribblings/more.scrbl
index 9a6123f4..424fa8f9 100644
--- a/collects/typed-scheme/scribblings/more.scrbl
+++ b/collects/typed-scheme/scribblings/more.scrbl
@@ -44,7 +44,7 @@ in both top-level and internal contexts.
 
 @racketblock[
 (define: x : Number 7)
-(define: (id [z : Number]) z)]
+(define: (id [z : Number]) : Number z)]
 
 Here, @racket[x] has the type @racket[Number], and @racket[id] has the
 type @racket[(Number -> Number)].  In the body of @racket[id],
diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl
index 20915ea4..e766f023 100644
--- a/collects/typed-scheme/scribblings/types.scrbl
+++ b/collects/typed-scheme/scribblings/types.scrbl
@@ -193,9 +193,9 @@ The second definition
 (struct: (a) Some ([v : a]))
 ]
 
-creates a parameterized type, @racket[Just], which is a structure with
+creates a parameterized type, @racket[Some], which is a structure with
 one element, whose type is that of the type argument to
-@racket[Just].  Here the type parameters (only one, @racket[a], in
+@racket[Some].  Here the type parameters (only one, @racket[a], in
 this case) are written before the type name, and can be referred to in
 the types of the fields.