Yes, that's true. I don't have a good feel for whether that'll be problematic or not.
So maybe it's not worth fixing here.