--- responsive.old.js	2013-03-23 22:13:23.000000000 +0000
+++ responsive.js	2013-03-23 22:13:14.000000000 +0000
@@ -12,7 +12,7 @@ jQuery(function($){
     $("<option />", {
        "selected": "selected",
        "value" : "",
-       "text" : "Menu"
+       "text" : Drupal.t('Menu')
     }).appendTo("#navigation select");
     $("#navigation a").each(function() {
      var el = $(this);