Fix deleting a specialization