(temporary) fix jshint error