Makes jshint happy