fix for task queue push in work stealing code