ADded redundant finalizer