diff --git a/scribblings/txexpr.scrbl b/scribblings/txexpr.scrbl
index 76f17d8..8685346 100644
--- a/scribblings/txexpr.scrbl
+++ b/scribblings/txexpr.scrbl
@@ -86,8 +86,6 @@ The programming is trivial, but the annoyance is real.
 
 @section{Interface}
 
-@defmodule[txexpr]
-
 @deftogether[(
 @defproc[
 (txexpr?