Make jshint happy (minor)