On Wednesday morning, Wired posted one of the better corrections in the history of journalism. "Due to an oversight involving a haphazardly-installed Chrome extension during the editing process," it read, "the name Donald Trump was erroneously replaced with the phrase 'Someone with Tiny Hands' when this story originally published."

Either the article's author, Jason Tanz, or one of his editors, inadvertently downloaded a new Google Chrome browser extension that automatically replaces every mention of Trump's name with "Someone with Tiny Hands," and the changes weren't caught before the article went live.

These things happen, sure, and Wired has since issued a statement to the Verge saying that it "did not intend to go on the record stating that Trump has small hands, which we can neither confirm nor deny," but the whole thing is undoubtably haunting the GOP frontrunner, who does not take kindly to attacks on his digits.