In Spain it apparently doesn’t matter if a royal spouse was previously married outside of the Catholic Church and subsequently divorced, as was the case with Princess Letizia, wife of crown prince Felipe.
I think you are right. I think Letizia’s first marriage didn’t need to be annulled because she was never married in the RC Church.