Make jshint happy