diff --git a/collects/xml/xml.scrbl b/collects/xml/xml.scrbl
index 9656066d08..951e6326d7 100644
--- a/collects/xml/xml.scrbl
+++ b/collects/xml/xml.scrbl
@@ -245,9 +245,9 @@ Converts an @tech{X-expression} into XML content.}
 
 Converts an @tech{X-expression} into a string containing XML.}
 
-@defproc[(eliminate-whitespace [tags (listof symbol?)]
-                               [choose (boolean? . -> . any/c)]
-                               [elem element?])
+@defproc[((eliminate-whitespace [tags (listof symbol?)]
+                                [choose (boolean? . -> . any/c)])
+          [elem element?])
          element?]{
 
 Some elements should not contain any text, only other tags, except