Make jshint happy again