diff --git a/doc/examples.tex b/doc/examples.tex
index 692ab25..c07fbdb 100644
--- a/doc/examples.tex
+++ b/doc/examples.tex
@@ -100,7 +100,7 @@
 
 We could also have started with a pc group or a nice enough matrix group.
 \beginexample
-gap> s4 := SmallGroup(IdGroup(G));
+gap> s4 := SymmetricGroup(IsPcGroup, 4);
 <pc group of size 24 with 4 generators>
 \endexample
 This is $S_4$ again. The answers just look different now.
@@ -113,7 +113,7 @@
 \beginexample
 gap> sl := SpecialLinearGroup(2,3);
 SL(2,3)
-gap> h := SmallGroup(IdGroup(sl));
+gap> h := PcGroupWithPcgs(Pcgs(sl));
 <pc group of size 24 with 4 generators>
 \endexample
 We get the following subgroups.
@@ -157,7 +157,7 @@
 \beginexample
 gap> ResidualWrtFormation(G, form);  ResidualWrtFormation(G, form2);
 Group(())
-Group([ (1,3)(2,4), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> KnownPropertiesOfObject(form2);
 [  ]
 \endexample
@@ -242,7 +242,7 @@
 \beginexample
 gap> SetIsIntegrated(form, true);
 gap> ResidualWrtFormation(G, form);
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> FNormalizerWrtFormation(G, form);
 Group([ (3,4), (2,4,3) ])
 gap> CoveringSubgroup1(G, form);
diff --git a/tst/manual.example-6.tst b/tst/manual.example-6.tst
index 9e989c1..8e20062 100644
--- a/tst/manual.example-6.tst
+++ b/tst/manual.example-6.tst
@@ -34,14 +34,14 @@ gap> ComputedCoveringSubgroup2s(G);
 gap> ComputedCoveringSubgroup1s(G);
 [ formation of Nilpotent groups, Group([ (3,4), (1,3)(2,4), (1,2)(3,4) ]), 
   formation of Supersolvable groups, Group([ (3,4), (2,4,3) ]) ]
-gap> s4 := SmallGroup(IdGroup(G));
+gap> s4 := SymmetricGroup(IsPcGroup, 4);
 <pc group of size 24 with 4 generators>
 gap> SystemNormalizer(s4); CarterSubgroup(s4);
 Group([ f1 ])
 Group([ f1, f4, f3*f4 ])
 gap> sl := SpecialLinearGroup(2,3);
 SL(2,3)
-gap> h := SmallGroup(IdGroup(sl));
+gap> h := PcGroupWithPcgs(Pcgs(sl));
 <pc group of size 24 with 4 generators>
 gap> CarterSubgroup(sl); Size(last);
 <group of 2x2 matrices over GF(3)>
@@ -69,7 +69,7 @@ gap> KnownAttributesOfObject(form2);
 [ "NameOfFormation", "ScreenOfFormation", "ResidualFunctionOfFormation" ]
 gap> ResidualWrtFormation(G, form);  ResidualWrtFormation(G, form2);
 Group(())
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> KnownPropertiesOfObject(form2);
 [  ]
 gap> Integrated(form2);
@@ -115,7 +115,7 @@ gap> KnownAttributesOfObject(form); KnownPropertiesOfObject(form);
 [  ]
 gap> SetIsIntegrated(form, true);
 gap> ResidualWrtFormation(G, form);
-Group([ (1,4)(2,3), (1,2)(3,4) ])
+Group([ (1,2)(3,4), (1,3)(2,4) ])
 gap> FNormalizerWrtFormation(G, form);
 Group([ (3,4), (2,4,3) ])
 gap> CoveringSubgroup1(G, form);