added jslint options