Minor zonechange.js improvements