Update tools.js