fix jshint.pl