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