--- taxonomy_treemenu/includes/taxonomy_treemenu.options.forms.inc.orig 2009-09-30 11:08:21.000000000 +0200
+++ taxonomy_treemenu/includes/taxonomy_treemenu.options.forms.inc      2009-09-30 11:06:46.000000000 +0200
@@ -66,7 +66,7 @@


   static private function placeholder($value) {
-    return (is_numeric($value)) ? '%d' : '"%s"';
+    return (is_numeric($value)) ? '%d' : "'%s'";
   }