Make jshint happier