diff --git a/Documentation.html b/Documentation.html
index fac231910..c99c3de85 100644
--- a/Documentation.html
+++ b/Documentation.html
@@ -1514,7 +1514,8 @@ ALTER TABLE `pma_column_comments`
         which are in Unicode, just to avoid losing some characters).<br /><br />
 
         Setting this to <tt>TRUE</tt> also activates a pull-down menu
-        in the Export page, to choose the character set when exporting a file.
+	in the Export page, to choose the character set when exporting a file.
+	The default value in this menu comes from <tt>$cfg['Export']['charset']</tt>.
     </dd>
 
     <dt id="cfg_RecodingEngine">$cfg['RecodingEngine'] string</dt>