BUG: Overflow error in array size