Not clear that there's any observable bug at present from this omission,
but it seems like something to fix going forward.