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@gmx.net