Thanks for clarification.
It's a bit confusing, since this BIOS was regarded as correct all the days before...