implement destroy, for #4