--- taxonomy_batch_operations.module_dist	2007-02-14 03:55:52.000000000 +0100
+++ taxonomy_batch_operations.module3	2007-06-05 10:47:06.000000000 +0200
@@ -236,8 +236,8 @@ function batch_operations_form_validate(
 }
 
 function taxonomy_batch_operations_form_submit($form_id, $form_values) {
-  switch ($_POST[op]) {
-    case 'Save':
+  switch ($form_values['op']) {
+    case t('Save'):
       foreach ($form_values[multiedit] as $key => $tid) {
         $term = taxonomy_get_term($key);
         unset($tid['check']);
@@ -253,7 +253,7 @@ function taxonomy_batch_operations_form_
       }
       drupal_set_message(t('Updated term weights'));
       break;
-    case 'Delete Selected':
+    case t('Delete Selected'):
       foreach ($form_values[multiedit] as $key => $tid) {
         if ($tid['check'] == 1)
           $tids[] = $key;