// Copied over at deploy.js [26/12/17]