Make JSHINT happy