[basex-talk] Server protocol bug?

Hi, While testing for basex-stream i encountered a weird behavior in the OPTIONS query command. After creating the query ```xquery declare option output:method "json"; declare option output:json "lax"; <json type="object"/> ``` the response of OPTIONS was: `json=lax=true,method=json` Which seems wrong. I event tried setting cdata-section-elements to "pre, code" and the response had a double comma ("cdata-section-elements=pre,,code,method=xml") Is this a bug or is there some deterministic method of parsing the response? Thanks, Alex