fixup! Bug #2874. Avoid breaking EventUtils.js