There should be no need to call finalize() here any more.