#558 - fix Google Closure Compiler warning in util.js