JSON_REMOVE returns wrong result and ER_JSON_EOS after not finding element to remove

MariaDB [test]> SELECT JSON_REMOVE('{"a":"b"}','$[0][1].a');

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

| JSON_REMOVE('{"a":"b"}','$[0][1].a') |

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

| NULL                                 |

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

1 row in set, 1 warning (0.000 sec)

MariaDB [test]> SHOW WARNINGS;

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

| Level   | Code | Message                                                             |

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

| Warning | 4037 | Unexpected end of JSON text in argument 1 to function 'json_remove' |

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

1 row in set (0.000 sec)

MySQL [test]> SELECT JSON_REMOVE('{"a":"b"}','$[0][1].a');

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

| JSON_REMOVE('{"a":"b"}','$[0][1].a') |

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

| {"a": "b"}                           |

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

1 row in set (0.000 sec)