The Washington Post called the error “the best worst headline error ever.”