I think this shouldn't happen. here undefined would be a bug, around finalizing.