fixing the RedisNumberAggregateOutputOperator