make jshint happy again