--- random.txi.orig	2013-05-12 04:47:55 UTC
+++ random.txi
@@ -32,9 +32,10 @@
 @defun copy-random-state state
 
 Returns a new copy of argument @var{state}.
+@end defun
 
 
-@defunx copy-random-state
+@defun copy-random-state
 Returns a new copy of @code{*random-state*}.
 @end defun