Small change to make jshint happy