I’m guessing the article was edited, because now it says “Daniel J. Bernstein”.