Update jslint.js