Continue to fix a bug in util.js