making JSHINT happy