small fix in finalization