fix a jshint issue