Fixing small error in ArrayType