Trolls thank other trolls for correcting the factual error, and also for being rude ("damn history"), as this validates troll tactics in general.