If the formula changes and it is truly a dairy product and one erroneously thinks it is DE is in my opinion a bigger problem
That can actually happen if someone decides that something is really just DE without asking.
I am staring at a box of Cheerios which is 100% pareve but has a plain OU. I think it is the company’s choice.