I don't know, because there is no actual proper safety report yet. That certainly sounds reasonable, but obviously the dispatchers though otherwise. Likely because they did not actually understood that there was a problem, but that it's just that annoying bug again.