Should not matter too much but who knows: would put this about the del statement