making jshint happy