diff --git a/modules/filter/filter.module b/modules/filter/filter.module
index 7d644f3e3aeb7c2faa2c084a505ac18eac8e6b70..833ae4e7964f54622cab3af265191b60953286d0 100644
--- a/modules/filter/filter.module
+++ b/modules/filter/filter.module
@@ -809,7 +809,7 @@ function filter_form($value = FILTER_FORMAT_DEFAULT, $weight = NULL, $parents =
   $value = filter_resolve_format($value);
   $formats = filter_formats();
 
-  $extra = l(t('More information about formatting options'), 'filter/tips');
+  $extra = theme('filter_tips_more_info');
 
   if (count($formats) > 1) {
     $form = array(
@@ -961,6 +961,16 @@ function theme_filter_tips($tips, $long = FALSE, $extra = '') {
   return $output;
 }
 
+/**
+ * Format a link to the more extensive filter tips.
+ *
+ * @ingroup themeable
+ */
+
+function theme_filter_tips_more_info() {
+  return l(t('More information about formatting options'), 'filter/tips');
+}
+
 /**
  * @name Standard filters
  * @{