added finalizers, just for completeness (not because we anything unmanaged going on, we don't)