tiny bug fix for newer node.js