watch.js: optimize a little bit