It doesn't say Ripple Trade is not available to US citizens.

It says the gateway called "BTC2Ripple" will no longer be available to US citizens.

This is most likely necessary to be compliant with FINCEN regulations.