I thought ruibio’s parents were US citizens when he was born.
Not yet, they did become citizens later, but were Cuban nationals when he was born.