Fix wrong use of pointer-to-array as an array, CID #1434191.