FIX bug: users could delete duplicate task numbers.