Fix jslint header