--- taxonomy_hide.inc	2011-06-30 11:28:51.000000000 -0400
+++ taxonomy_hide.inc	2011-08-14 11:52:01.000000000 -0400
@@ -50,6 +50,14 @@
     $vocs[$b->vid] = taxonomy_vocabulary_load($b->vid);
   }

+  // Use term translations if available
+  if (module_exists('i18ntaxonomy') && i18ntaxonomy_vocabulary($a->vid) == I18N_TAXONOMY_LOCALIZE) {
+    $a->name = i18nstrings("taxonomy:term:{$a->tid}:name", $a->name);
+  }
+  if (module_exists('i18ntaxonomy') && i18ntaxonomy_vocabulary($b->vid) == I18N_TAXONOMY_LOCALIZE) {
+    $b->name = i18nstrings("taxonomy:term:{$b->tid}:name", $b->name);
+  }
+
   // Compare first by vocabulary weight, next by vocabulary id, next by term
   // weight, next by term name, and finally by term id. This is the same order
   // as used by taxonomy_node_get_terms, except that we group by vocabulary too.