diff --git a/doc/texinfo/texi2html b/doc/texinfo/texi2html
index 7a3fc685f93e4d036e1ab1d310694100d8c64764..f695c0a4ccfc2ec9ae3734ab721518946a9b25d7 100644
--- a/doc/texinfo/texi2html
+++ b/doc/texinfo/texi2html
@@ -38,7 +38,7 @@ require 5.0;
 #--##############################################################################
 
 # CVS version:
-# $Id: texi2html,v 1.7 2004-03-27 19:18:14 geuzaine Exp $
+# $Id: texi2html,v 1.8 2007-06-03 19:03:44 geuzaine Exp $
 
 # Homepage:
 $T2H_HOMEPAGE = <<EOT;
@@ -94,7 +94,7 @@ eval { ($T2H_USER = (getpwuid ($<))[6]) =~ s/,.*//;}; # Who am i
 # Copy this file and make changes to it, if you like.
 # Afterwards, either, load it with command-line option -init_file <your_init_file>
 #
-# $Id: texi2html,v 1.7 2004-03-27 19:18:14 geuzaine Exp $
+# $Id: texi2html,v 1.8 2007-06-03 19:03:44 geuzaine Exp $
 
 ######################################################################
 # stuff which can also be set by command-line options
@@ -1520,7 +1520,7 @@ package Getopt::MySimple;
 
 # --------------------------------------------------------------------------
 # Locally modified by obachman (Display type instead of env, order by cmp)
-# $Id: texi2html,v 1.7 2004-03-27 19:18:14 geuzaine Exp $
+# $Id: texi2html,v 1.8 2007-06-03 19:03:44 geuzaine Exp $
 
 # use strict;
 # no strict 'refs';
@@ -3821,7 +3821,7 @@ INPUT_LINE: while ($_ = &next_line) {
     if ($_ eq "\n" && ! $in_pre) {
 	next if $#lines >= 0 && $lines[$#lines] eq "\n";
 	if ($html_element eq 'P') {
-	    push (@lines, &debug("</P><P>\n", __LINE__));
+	    push (@lines, &debug("<P>\n", __LINE__));
 	}
 # 	else
 # 	{