little fix for jshint