--- schmooz.texi.orig	2001-10-15 04:34:18 UTC
+++ schmooz.texi
@@ -17,8 +17,9 @@
 top-level comments containing schmooz commands from @var{filename}.scm
 and writes the converted Texinfo source to a file named
 @var{filename}.txi.
+@end deffn
 
-@deffnx Procedure schmooz filename@r{.texi} @dots{}
+@deffn Procedure schmooz filename@r{.texi} @dots{}
 @deffnx Procedure schmooz filename@r{.tex} @dots{}
 @deffnx Procedure schmooz filename@r{.txi} @dots{}
 @var{Filename} should be a string naming an existing file containing
