jslint header