diff --git a/gap/ideals/ideals.gi b/gap/ideals/ideals.gi
index 3073784e1..fa58a96ae 100644
--- a/gap/ideals/ideals.gi
+++ b/gap/ideals/ideals.gi
@@ -82,7 +82,7 @@ end);
 InstallMethod(ViewString,
 "for a semigroup ideal with ideal generators",
 [IsSemigroupIdeal and HasGeneratorsOfSemigroupIdeal],
-1,  # to beat the library method
+4,  # to beat the library method
 _ViewStringForSemigroupsIdeals);
 
 InstallMethod(ViewString,
diff --git a/gap/semigroups/semigraph.gi b/gap/semigroups/semigraph.gi
index c6a6662db..93c6558b2 100644
--- a/gap/semigroups/semigraph.gi
+++ b/gap/semigroups/semigraph.gi
@@ -13,6 +13,7 @@ InstallMethod(AsMonoid, "for a graph inverse semigroup",
 
 InstallMethod(ViewString, "for a graph inverse semigroup",
 [IsGraphInverseSemigroup],
+RankFilter(IsGroupAsSemigroup),  # to beat library method for groups as semigrps
 function(S)
   local n, str;
 
diff --git a/gap/semigroups/semirms.gi b/gap/semigroups/semirms.gi
index 0717d78c0..e8a321566 100644
--- a/gap/semigroups/semirms.gi
+++ b/gap/semigroups/semirms.gi
@@ -365,6 +365,7 @@ InstallMethod(ViewString,
 "for a Rees 0-matrix subsemigroup ideal with ideal generators",
 [IsReesZeroMatrixSubsemigroup and IsSemigroupIdeal and
  HasGeneratorsOfSemigroupIdeal],
+3,  # to beat ViewString for a semigroup ideal with ideal generators
 function(I)
   local str, nrgens;
 
diff --git a/tst/standard/grpffmat.tst b/tst/standard/grpffmat.tst
index 67695de2c..d0110d53c 100644
--- a/tst/standard/grpffmat.tst
+++ b/tst/standard/grpffmat.tst
@@ -56,10 +56,9 @@ gap> G := Group(GeneratorsOfSemigroup(G));
 <group of 2x2 matrices over GF(2) with 3 generators>
 gap> IsMatrixOverFiniteFieldGroup(G);
 true
-gap> map := IsomorphismPermGroup(G);
-MappingByFunction( <group of 2x2 matrices over GF(2) with 
-3 generators>, Group([ (), (2,3), (1,
-2) ]), function( x ) ... end, function( x ) ... end )
+gap> map := IsomorphismPermGroup(G);;
+gap> IsomorphismGroups(Range(map), SymmetricGroup(3)) <> fail;
+true
 gap> BruteForceInverseCheck(map);
 true
 gap> BruteForceIsoCheck(map);
diff --git a/tst/standard/semitrans.tst b/tst/standard/semitrans.tst
index 5ecd2b349..7887a0a6a 100644
--- a/tst/standard/semitrans.tst
+++ b/tst/standard/semitrans.tst
@@ -2680,10 +2680,16 @@ Transformation( [ 3, 3, 3 ] )
 # Test IsomorphismTransformationSemigroup for an ideal
 gap> S := FullTransformationMonoid(3);
 <full transformation monoid of degree 3>
-gap> map := IsomorphismTransformationSemigroup(MinimalIdeal(S));
-MappingByFunction( <simple transformation semigroup ideal of degree 3 with
-  1 generator>, <regular transformation semigroup ideal of degree 3 with
- 1 generator>, function( x ) ... end, function( x ) ... end )
+gap> x := MinimalIdeal(S);
+<simple transformation semigroup ideal of degree 3 with 1 generator>
+gap> map := IsomorphismTransformationSemigroup(x);;
+gap> x := Range(map);;
+gap> IsSimpleSemigroup(x);
+true
+gap> Size(x) = 3;
+true
+gap> x;
+<simple transformation semigroup ideal of size 3, degree 3 with 1 generator>
 gap> BruteForceInverseCheck(map);
 true
 gap> BruteForceIsoCheck(map);