array_in sub function ReadArrayDimensions error message

while reviewing the json query doc,
I found out the following error message was not quite right.

select '[1,2]'::int[];
ERROR: malformed array literal: "[1,2]"
LINE 1: select '[1,2]'::int[];
^
DETAIL: Missing "]" after array dimensions.
should it be:
"Missing delimiter ":" while specifying array dimensions."
?
Because here, the first problem is the comma should be colon.

also
"DETAIL: Missing "]" after array dimensions."
should be
DETAIL: Missing "]" while specifying array dimensions.
?