diff --git a/Tools/scripts/texi2html.py b/Tools/scripts/texi2html.py
index 429d3f0b3b6..19cbe2738d6 100755
--- a/Tools/scripts/texi2html.py
+++ b/Tools/scripts/texi2html.py
@@ -25,12 +25,12 @@
# More consistent handling of chapters/sections/etc.
# Lots of documentation
# Many more options:
-# -top designate top node
-# -links customize which types of links are included
-# -split split at chapters or sections instead of nodes
-# -name Allow different types of filename handling. Non unix systems
-# will have problems with long node names
-# ...
+# -top designate top node
+# -links customize which types of links are included
+# -split split at chapters or sections instead of nodes
+# -name Allow different types of filename handling. Non unix systems
+# will have problems with long node names
+# ...
# Support the most recent texinfo version and take a good look at HTML 3.0
# More debugging output (customizable) and more fexible error handling
# How about icons ?
@@ -67,81 +67,81 @@ class HTMLNode:
epilogue = '