bad identifier

diff --git a/philter/philter/include/form_filter.inc.php b/philter/philter/include/form_filter.inc.php
index 1e6a5d7..fdecc4e 100644 (file)
--- a/philter/philter/include/form_filter.inc.php
+++ b/philter/philter/include/form_filter.inc.php
@@ -32,7 +32,7 @@ require("include/js_factory.inc.php");
 <br />
 <div class="rubrique"><?php i18n('pool_title'); ?></div>
 <?php
-i18n('small_pool_help');
+i18n('spool_help');
 echo $mail_pool->to_small_form();
 ?>
 <br />