fix for get_number_launched