Jaroslav Gurican and Martin Macaj wrote to you
about a bug in 'KernelGroupHomomorphism'
for permutation groups, which occurs only if
the kernel in question is trivial.
Thanks for that.
Their proposal of a fix is correct,
it is sufficient to change 'range' to 'source'
in the line of 'permhomo.g' mentioned in
This bug had been noticed already.
The fix will be part of the next upgrade
(which will be released soon).