No 9000 computer has ever made a mistake.
He was right about the 9000 series having a perfect operational record. They do.
But the Space Agency only thought they shipped HAL 9000. He was actually HAL 8999beta5.