makeinfo fails on dejagnu.texi

Error message:
/scratch/frs/src/dejagnu/doc/dejagnu.texi:3876: Prev field of node `ssh_close procedure' not pointed to.
/scratch/frs/src/dejagnu/doc/dejagnu.texi:3860: This node (rsh_exec procedure) has the bad Next.
/scratch/frs/src/dejagnu/doc/dejagnu.texi:3860: Next field of node `rsh_exec procedure' not pointed to (perhaps incorrect sectioning?).
/scratch/frs/src/dejagnu/doc/dejagnu.texi:3928: This node (ftp_open procedure) has the bad Prev.

Patch
---
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index c2033bf..2080bec 100644
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -3855,11 +3855,11 @@ all information.
 @item @code{desthost}
 @item @code{srcfile}
 @item @code{destfile}
 @end table
 
-@node rsh_exec procedure, ftp_open procedure, rsh_upload procedure, connprocs
+@node rsh_exec procedure, ssh_close procedure, rsh_upload procedure, connprocs
 @subsubsection rsh_exec Procedure
 
 
 @quotation
 @t{@b{rsh_exec}@{@i{boardname}