so that we don't leak memory. Thanks go to the resource tracking system for quickly discovering the source of leakages.