Duplicate square brackets in JSON_ARRAYAGG upon query with HAVING

CREATE TABLE t1 (a INT, b VARCHAR(10));

INSERT INTO t1 VALUES (1,"foo"), (2,"bar");

SELECT a, JSON_ARRAYAGG(b) as j FROM t1 GROUP BY a HAVING j = '["foo"]';

MariaDB [test]> SELECT a, JSON_ARRAYAGG(b) as j FROM t1 GROUP BY a HAVING j = '["foo"]';

+------+-----------+

| a    | j         |

+------+-----------+

|    1 | [["foo"]] |

+------+-----------+

1 row in set (0.002 sec)