I understand the issue, I've never seen it either.
I don't know if we can reproduce it - so we can test it and fix it. If it is random occurrence it seems to be very rare.
If you came across it again, let us know first and leave the post up, Odili is needed to check the ban output and see what doesn't work. After you can delete it ofc.