diff --git a/collects/teachpack/htdp/scribblings/world.scrbl b/collects/teachpack/htdp/scribblings/world.scrbl
index a0f6584c97..f31a6d9557 100644
--- a/collects/teachpack/htdp/scribblings/world.scrbl
+++ b/collects/teachpack/htdp/scribblings/world.scrbl
@@ -47,13 +47,13 @@ pinholes are at position @scheme[(0,0)].
 
 @defproc[(empty-scene [width natural-number/c]
                       [height natural-number/c])
-         (unsyntax @tech{Scene})]
-{Creates a @scheme[width] x @scheme[height] @tech{Scene}.}
+         (unsyntax @tech{Scene})]{
+ Creates a @scheme[width] x @scheme[height] @tech{Scene}.}
 
 @defproc[(place-image [img image?] [x number?] [y number?]
                       [s (unsyntax @tech{Scene})])
-         (unsyntax @tech{Scene})]
-{Creates a scene by placing @scheme[img] at @scheme[(x,y)] into @scheme[s];
+         (unsyntax @tech{Scene})]{
+ Creates a scene by placing @scheme[img] at @scheme[(x,y)] into @scheme[s];
  @scheme[(x,y)] are comp. graph. coordinates, i.e., they count right and
  down from the upper-left corner.}
 
diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl
index 70161835d7..4c7a66e389 100644
--- a/collects/typed-scheme/typed-scheme.scrbl
+++ b/collects/typed-scheme/typed-scheme.scrbl
@@ -522,11 +522,12 @@ types.  In most cases, use of @scheme[:] is preferred to use of @scheme[define:]
 (define-struct: name ([f : t] ...))
 (define-struct: (name parent) ([f : t] ...))
 (define-struct: (v ...) name ([f : t] ...))
-(define-struct: (v ...) (name parent) ([f : t] ...))]]
-{Defines a @rtech{structure} with the name @scheme[name], where the fields 
-         @scheme[f] have types @scheme[t].  The second and fourth forms define @scheme[name]
-         to be a substructure of @scheme[parent].  The last two forms define structures that 
-         are polymorphic in the type variables @scheme[v].}
+(define-struct: (v ...) (name parent) ([f : t] ...))]]{
+ Defines a @rtech{structure} with the name @scheme[name], where the
+ fields @scheme[f] have types @scheme[t].  The second and fourth forms
+ define @scheme[name] to be a substructure of @scheme[parent].  The
+ last two forms define structures that are polymorphic in the type
+ variables @scheme[v].}
 
 @subsection{Type Aliases}
 @defform*[[(define-type-alias name t)