Tweak in export.manager.js