Senate Majority Leader Mitch McConnell (R-KY) reportedly shot down a suggestion from President Donald Trump this week that the Electoral College be replaced with a national popular vote for President

According to the Wall Street Journal, which recapped Trump’s first week in office on Friday, discussion of the Electoral College took place during a White House meeting between Trump and senior congressional leaders on Tuesday.

Citing anonymous sources who attended the meeting, the Journal reported that Trump raised the possibility of adopting a nation-wide popular vote in the meeting, even thought he lost that metric to Democratic nominee Hillary Clinton by nearly 3 million votes.

This would have been the same meeting in which Trump reportedly brought up, again, his baseless belief that millions of “illegal” votes lost him a popular vote victory.

McConnell cautioned against the idea, according to the Journal, pointing out the complex recount process in Florida in 2000 and projecting the headache on a national scale. Trump demurred, according to the report.