1 files changed, 1 insertions, 1 deletions
diff --git a/widgets.js b/widgets.js
index dbeeefc..cdd775c 100644
--- a/widgets.js
+++ b/widgets.js
@@ -2776,7 +2776,7 @@ InputFieldMorph.prototype.dropDownMenu = function () {
     }
     menu.addItem(' ', null);
     for (key in choices) {
-        if (choices.hasOwnProperty(key)) {
+        if (Object.prototype.hasOwnProperty.call(choices, key)) {
             if (key[0] === '~') {
                 menu.addLine();
             } else {