diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl
index fdbf1dca49..1d020b1109 100644
--- a/collects/typed-scheme/scribblings/types.scrbl
+++ b/collects/typed-scheme/scribblings/types.scrbl
@@ -94,7 +94,7 @@ to describe an infinite family of data.  For example, this is the type
 of binary trees of numbers.  
 
 @racketblock[
-(Rec BT (U Number (Pair BT BT)))]
+(define-type BinaryTree (Rec BT (U Number (Pair BT BT))))]
 
 The @racket[Rec] type constructor specifies that the type @racket[BT]
 refers to the whole binary tree type within the body of the