minor jslint fix