small fixes to permutationgroups.ijs