* adapted to changes in ArraysExt API