Given its author, it would be even more remarkable if this algorithm was incorrect. See my comment on the article.