minor change to functions.js