Fix to make jshint happy