fixing bug in ArrayTypeWrapper