extension of GroupToTrgps, fix to AsSmallPermTrgp