make jshint happy