WASHINGTON (AP) — Florida Senator Marco Rubio has ruled out campaigning for Donald Trump, but that decision apparently doesn’t apply to Trump’s running mate, Mike Pence.

An aide to the Indiana governor and Republican vice presidential nominee said Tuesday that plans for Pence and Rubio to campaign together are currently being worked out.

Events have not yet been scheduled. But Pence’s camp says supporting Rubio’s re-election effort is important if the Senate is to remain under GOP control.

Rubio and Trump openly feuded during the Republican presidential primary. Pence has since helped to smooth over disagreements between Trump and other prominent members of the party.