Update mini-export.js