small fix for bug introduced by 'jshint fixes'