diff --git a/collects/datalog/scribblings/datalog.scrbl b/collects/datalog/scribblings/datalog.scrbl
index c2e8d29..495dc79 100644
--- a/collects/datalog/scribblings/datalog.scrbl
+++ b/collects/datalog/scribblings/datalog.scrbl
@@ -612,7 +612,7 @@ This library provides facilities for pretty-printing Datalog source. It can be r
  Formats a @racket[clause].
          
  @examples[#:eval the-eval
-  ((format-clause
+  (format-clause
     (make-clause
      #f (make-literal #f 'ancestor
          (list (make-constant #f 'joseph)