spec: Clarify Array element needs to be padded even if inexistent

12 jobs for spec-correction in 17 minutes and 18 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #7638322
build:cmake

00:04:41

passed #7638319
build:debug

00:08:12

manual #7638324
allowed to fail manual
build:i686-w64-mingw32-cmake
passed #7638323
build:i686-w64-mingw32-debug

00:05:34

manual #7638321
allowed to fail manual
build:legacy
passed #7638318
build:production

00:06:16

manual #7638320
allowed to fail manual
build:reduced
manual #7638327
allowed to fail manual
build:stretch
passed #7638325
build:x86_64-w64-mingw32

00:06:07

passed #7641091
build:x86_64-w64-mingw32-cmake-debug

00:09:05

manual #7638328
allowed to fail manual
build:xenial
failed #7638326
build:x86_64-w64-mingw32-cmake-debug

00:09:51