--- tableofcontents.module	2009-07-06 03:58:15.000000000 -0400
+++ tableofcontents (copie).module	2009-07-18 22:20:36.000000000 -0400
@@ -53,7 +53,7 @@ function tableofcontents_filter_tips($de
 
   if ($long) {
     if ($override) {
-      return t('Every instance of "[toc ...]" in the input text will be replaced with a collapsible mediawiki-style table of contents. Accepts options for title, list style, minimum heading level, and maximum heading level, and attachments as follows: <!--tableofcontents list: ol; title: Table of Contents; minlevel: 2; maxlevel: 3; attachments: yes;-->. All arguments are optional.');
+      return t('Every instance of "[toc ...]" in the input text will be replaced with a collapsible mediawiki-style table of contents. Accepts options for title, list style, minimum heading level, and maximum heading level, and attachments as follows: [toc list: ol; title: Table of Contents; minlevel: 2; maxlevel: 3; attachments: yes;]. All arguments are optional.');
     }
     else {
       return t('Every instance of "[toc ...]" in the input text will be replaced with a collapsible mediawiki-style table of contents.');