Yes, it appears this may have been a bug on someone’s computer rather than an issue on the casino side.
No one has been able to make this happen again, it seems to have only happened to one person. So it stands to reason it was something on that person’s machine.