diff --git a/modules/menu/menu.module b/modules/menu/menu.module
index 8711ae50b02887a2820bd97fe882bd7206550f02..675a5f1fdc3456af7b23354414e4810bd8478d1c 100644
--- a/modules/menu/menu.module
+++ b/modules/menu/menu.module
@@ -460,7 +460,7 @@ function menu_item_delete_form($mid) {
 function menu_item_delete_form_submit($form_id, $form_values) {
   menu_delete_item($form_values['mid']);
 
-  $t_args = array('%title' => theme('placeholder', $form_values['title']));
+  $t_args = array('%title' => $form_values['title']);
   if ($form_values['type'] & MENU_IS_ROOT) {
     drupal_set_message(t('The menu %title has been deleted.', $t_args));
     watchdog('menu', t('Deleted menu %title.', $t_args), WATCHDOG_NOTICE);