diff --git a/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl b/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl
index d046be40..baa625e5 100644
--- a/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl
@@ -49,7 +49,7 @@ typed/racket
                [#:struct pt ([x : Real] [y : Real])]
                [distance (-> pt pt Real)])
 
-(distance (pt 3 5) (p 7 0))
+(distance (pt 3 5) (pt 7 0))
 ]
 
 The @racket[require/typed] form has several kinds of clauses. The