This is probably unnecessary; the garbage collector will take care of it.