Fyi, that could perhaps be one reason for these messages, but I think that there are other reasons. I have seen them in a situation where it doesn't seem to be a double `del`. It is confusing to me what is happening there.