updated to newest jslint.js