fix for number_launched