Seems that way to me also.
I do not want Rubio.
I think Cruz is a mistake, but Rubio would be a disaster.
There's almost no difference between the two anyway.