small jslint fix