Cantor, whoops

6/10/14 8:51 PM EDT

House Majority Leader Eric Cantor lost his primary battle to Tea Party challenger Dave Brat on Tuesday, a stunning upset that some news organizations seemed certain would not come to pass.

On Tuesday morning, the day of the primary, The Washington Post reported:

The question in this race is how large Cantor’s margin of victory will be. If he wins by more than 20 points, it will likely quell rumblings about his popularity back home. If Brat falls within 10 points of the seven-term congressman, it could stoke them.

That paragraph was still in the updated version of the Post's article, which reported that Cantor had lost to Brat, at 8:30 p.m. It has since been deleted.