diff --git a/docs/config_misc.html b/docs/config_misc.html
index 1747df258..f65d59964 100644
--- a/docs/config_misc.html
+++ b/docs/config_misc.html
@@ -414,7 +414,7 @@ return !valid();
       messages.properties: Key 'ok' missing.
       </pre>
       </p>
-      <h4 class="body">Properties</h4>
+      <h4>Properties</h4>
       <table width="100%" border="1" cellpadding="5" class="body">
         <tr class="header">
           <th>name</th>