The trades were not annulled, because NYSE ruled them not "clearly erroneous". Which is why it is was an existential mistake, not just an embarrassing one.