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.
?