fix missing function in util.js