Added public finalizer