[GAP Forum] IsomorphismTypeFiniteSimpleGroup results in an error.

[buynnnmmm1 at yahoo.co.jp]

Hello.
It is an error to try to do in the Gap4.7.5 IsomorphismTypeFiniteSimpleGroup of P.27 of http://sci.kj.yamagata-u.ac.jp/~waki/jpn/gap_docs/take_gap.pdf. 

gap> s8:=Group((1,2),(1,2,3,4,5,6,7,8));
Group([ (1,2), (1,2,3,4,5,6,7,8) ])
gap> a8:=CommutatorSubgroup(s8,s8);
Group([ (1,3,2), (2,4,3), (2,3)(4,5), (2,4,6,5,3), (2,5,3)(4,7,6), (2,3)(5,6,8,7) ])
gap> elab:= Group( (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8),  (1,5)(2,6)(3,7)(4,8));
Group([ (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8), (1,5)(2,6)(3,7)(4,8) ])
gap> norm:= Normalizer( a8, elab );;
gap> hom:=NaturalHomomorphismByNormalSubgroup( norm , elab );
<action epimorphism>
gap> f := Image( hom );
Group([ (), (), (), (4,5)(6,7), (4,6)(5,7), (2,3)(6,7), (2,4)(3,5), (1,2)(5,6) ])
gap> IsomorphismTypeFiniteSimpleGroup( f );
Error, Variable: 'IsomorphismTypeFiniteSimpleGroup' must have a value
not in any function at line 16 of *stdin*


However, I should be able to get the following output: In P.27 of this PDF file.

gap> IsomorphismTypeFiniteSimpleGroup( f );
rec( series := "L", parameter := [ 2, 7 ],
name := "A(1,7) = L(2,7) ~ B(1,7) = O(3,7) ~ C(1,7) = S(2,7) ~
2A(1,7) = U(2\
,7) ~ A(2,2) = L(3,2)" )


Could you tell me how to solve this problem? 
How to use or probably been changed in accordance with the version up? 
Or bug or probably are mixedin Gap version up?


                                  buynnnmmm1