I don't know what I was thinking when, generating the JSON rivers, I encoded a double-quote as ". That's wrong. In JSON, you just have to escape the quote with a backslash as in C or UserTalk. No big deal. But there's possible breakage here, so look out for it.