jslint must be appeased