| August 4, 2023 | Edited by Tom Morris | merge authors |
| September 30, 2020 | Edited by MARC Bot | add ISNI |
| April 2, 2020 | Edited by Camillo Pellizzari | merge authors |
| June 7, 2012 | Edited by VacuumBot | Removed period from death date |
| May 12, 2009 | Edited by EdwardBot | merge authors |