Fixes to the warning that delete! was deprecated.