Why do these have to be explicitly deleted? I would like to think close() does all you need.