diff -r 8371a25ca177 -r 40f19372a723 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Apr 30 11:57:45 2019 +0100
+++ b/CONTRIBUTORS	Tue Apr 30 13:01:22 2019 +0100
@@ -10,7 +10,7 @@
   Homology and supporting lemmas on topology and group theory
 
 * April 2019: Paulo de Vilhena and Martin Baillon
-  Group theory developments towards proving algebraic closure
+  Group theory developments, esp. algebraic closure of a field
 
 * February/March 2019: Makarius Wenzel
   Stateless management of export artifacts in the Isabelle/HOL code generator.