--- dbutil.txi.orig	2013-05-12 04:47:55 UTC
+++ dbutil.txi
@@ -85,9 +85,10 @@
 
 Returns an open relational database associated with @var{rdb}.  The
 database will be opened with base-table type @var{base-table-type}).
+@end defun
 
 
-@defunx open-database rdb
+@defun open-database rdb
 Returns an open relational database associated with @var{rdb}.
 @code{open-database} will attempt to deduce the correct base-table-type.
 @end defun
