diff --git a/doc/htmlcmds.doc b/doc/htmlcmds.doc
index e212a643e5c..d041f1e283b 100644
--- a/doc/htmlcmds.doc
+++ b/doc/htmlcmds.doc
@@ -32,8 +32,6 @@ of a HTML tag are passed on to the HTML output only
\ Ends a \ section.
\ Starts a quotation block.
\ Ends the quotation block.
-
\ Does not generate any output.
-
\ Does not generate any output.
\ Forces a line break.
\
starts a section of centered text.
\ ends a section of centered text.
@@ -64,13 +62,17 @@ of a HTML tag are passed on to the HTML output only
\ Ends an unnumbered subsection.
\ Starts an unnumbered subsubsection.
\ Ends an unnumbered subsubsection.
+
\ Starts an unnumbered subsubsection.
+
\ Ends an unnumbered subsubsection.
+
\ Starts an unnumbered subsubsection.
+
\ Ends an unnumbered subsubsection.
+
\ Starts an unnumbered subsubsection.
+
\ Ends an unnumbered subsubsection.
\ Starts a piece of text displayed in an italic font.
\ Ends a \ section.
-
\ This command is written with attributes to the HTML output only.
+
\ This command is written with its attributes to the HTML output only. The SRC attribute is mandatory.
\ Starts a new list item.
\
Ends a list item.
-
\ ignored by doxygen.
-
\ ignored by doxygen.
\ Starts a numbered item list.
\ Ends a numbered item list.
\
Starts a new paragraph.
diff --git a/src/config.xml b/src/config.xml
index 349c41c6f1f..4d93ee592f4 100644
--- a/src/config.xml
+++ b/src/config.xml
@@ -2553,7 +2553,7 @@ EXTRA_PACKAGES=times