Damn, I should have paid attention to that niggling doubt about whether it was wise to cite Wikipedia, but I saw that there were footnotes and I assumed they were still accurate. Thank you for updating the article!