I think, when discussing software, the phrase "should never" just doesn't belong. I have only a short software career, but of all the bugs and unintentional behavior I have read about failures small and big companies make, I am no longer surprised.

For that matter, software itself is full of surprising and undefined behavior, so it really shouldn't be a surprise that large corporations sometimes have "simple" mistakes that appear really big. That is just software in motion.