// debug deletion