diff --git a/gap/libsemigroups/cong.gi b/gap/libsemigroups/cong.gi
index 4f0f4e478..68c338e66 100644
--- a/gap/libsemigroups/cong.gi
+++ b/gap/libsemigroups/cong.gi
@@ -417,7 +417,7 @@ function(cong, elm)
   elif IsFpSemigroup(Range(cong))
       or (HasIsFreeSemigroup(Range(cong)) and IsFreeSemigroup(Range(cong)))
       or IsFpMonoid(Range(cong))
-      or (HasIsFreeSemigroup(Range(cong)) and IsFreeMonoid(Range(cong)))
+      or (HasIsFreeMonoid(Range(cong)) and IsFreeMonoid(Range(cong)))
       or IsQuotientSemigroup(Range(cong)) then
     part := EquivalenceRelationPartition(cong);
     pos := PositionProperty(part, l -> [elm, l[1]] in cong);