This fixes a (rather false) error about accessing an array that it is uninitialized.
Closes: #4816 (closed)