Possible mistake in new array syntax

The documentation says the following is allowed:

INSERT INTO sal_emp
VALUES ('Bill',
ARRAY[10000, 10000, 10000, 10000],
ARRAY[['meeting', 'lunch'], ['','']]);

I cannot find justification for this in the standard. According to my
reading, it should be

INSERT INTO sal_emp
VALUES ('Bill',
ARRAY[10000, 10000, 10000, 10000],
ARRAY[ARRAY['meeting', 'lunch'], ARRAY['','']]);

--
Peter Eisentraut peter_e(at)gmx(dot)net