modifications for jslint