Fix tools.js: remove commented code.