diff --git a/mozilla/minimo/chrome/locale/en-US/preferences.dtd b/mozilla/minimo/chrome/locale/en-US/preferences.dtd
index 9486e441b1e..4481dddc683 100644
--- a/mozilla/minimo/chrome/locale/en-US/preferences.dtd
+++ b/mozilla/minimo/chrome/locale/en-US/preferences.dtd
@@ -26,6 +26,8 @@
 
 <!ENTITY downloadMediaCaption.label  "Download Media">
 <!ENTITY useDownloadDir.label        "Use Download Folder">
+<!ENTITY dontAskForLaunch.label      "Enable Automatic File Save">
+
 
 <!-- Home pane -->