Yes, that's the surprising bit. Tether USD backing seems to have been fine.

But Bitfinex screwed up, I guess partly due to panicking because they couldn't get a proper bank connection.

It also seems that the money is lost, just not accessible, at least at the moment.