If we get something wrong, we fix it and say so: the change is listed at the top of the story and here, with its date. Write to [email protected] if you spot a mistake.
No corrections so far.