Added to util.js