* Or, more likely, an editor, since these words do not appear in the article itself. And the paper has since changed the text, so perhaps they were aware of the problem, although I can't find an editorial note explaining the correction.