That’s my read as well. I don’t have all the sources at my fingertips, but I researched it during the “Is Cruz a natural born citizen?” debate.
Cruz definitely not a NBC, he was born in Canada and carried dual citizenship most of his life. There is some obscurity about whether his mother had become a Caadanian or even UK citizen at some point. Very murky.