I have seen no end of threads where this has happened.
If it had been one or two I would note but think of them as outliers.
Now I think of it I have seen lots of variants including but not limited to those who did marry and got a K1, those who said well it did not count because it was not in the US, because my divorce was not complete, because her Parents wanted it and we had filed a K1.
I think my favourite was the one who wanted to use the first marriage date to avoid the 2 year RoC.
You also get it in other categories where being married would kick them out.