diff --git a/minimo/chrome/locale/en-US/preferences.dtd b/minimo/chrome/locale/en-US/preferences.dtd
index 085d6fd9131..7c3cbfe860f 100644
--- a/minimo/chrome/locale/en-US/preferences.dtd
+++ b/minimo/chrome/locale/en-US/preferences.dtd
@@ -21,6 +21,7 @@
 <!ENTITY proxyCaption.label          "HTTP Proxy Settings">
 <!ENTITY useproxyCheckbox.label      "Use Proxy">
 <!ENTITY proxyPortCaption.label      "Port">
+<!ENTITY proxyURL.label              "URL">
 
 <!-- Home pane -->