diff --git a/set.mm b/set.mm
index 565dc2600..c0da16c64 100644
--- a/set.mm
+++ b/set.mm
@@ -485620,7 +485620,7 @@ commutative monoid (=vectors) together with a semiring (=scalars) and a
        given set.  If the base structure is a division ring, this is also a
        division ring (see ~ fldgensdrg ).  If the base structure is a field,
        this is a subfield (see ~ fldgenfld and ~ fldsdrgfld ).  In general this
-       will be used in the context of fields, therefore the name ` fldGen ` .
+       will be used in the context of fields, hence the name ` fldGen ` .
        (Contributed by Saveliy Skresanov and Thierry Arnoux, 9-Jan-2025.) $)
     df-fldgen $a |- fldGen = ( f e. _V , s e. _V |->
                                    |^| { a e. ( SubDRing ` f ) | s C_ a } ) $.