China isn’t part of the Trans-Pacific Partnership trade agreement, but viewers of Tuesday’s Republican debate might not have realized that if not for Rand Paul.

Paul’s quick quip about China not being part of the 12-nation trade deal — made in response to an anti-China rant by Donald Trump — was the most replayed moment of the debate, according to TiVo.

“We might want to point out China’s not part of this deal,” said Paul, a Kentucky senator. Watch the clip:

Trump didn’t in fact say China was part of the deal, the text of which was released last week. He said the agreement “was designed for China to come in, as they always do, through the back door and totally take advantage of everyone.” Trump regularly bashes China over currency and says on his website he would declare Beijing a manipulator on his first day as president.

While China isn’t part of the deal, which Congress will vote on, President Barack Obama has said Beijing could eventually join it.

Trump said it’s a “disaster” that currency manipulation isn’t discussed in the TPP, which aims to lower trade barriers among member nations including the U.S., Japan and Vietnam.

U.S. manufacturers and some members of Congress have also decried the lack of a currency segment. But there is a side currency pact in which countries confirm they are bound by the International Monetary Fund not to manipulate exchange rates for unfair advantage.

A comment by Trump about Democrats and Republicans agreeing on bringing U.S. corporations’ overseas earnings back home was the No. 2 moment, according to TiVo US:TIVO , the digital-video recorder maker.