update util.js (again)