Patched module.js in order to avoid a problem with IE.