Correction on array types