The comment in JSONString.cpp says this is expected by some parsers. However, this looks ugly for any URLs written to a JSON document, and no one else seems to be doing it anyway. If there are any nonconforming parsers out there, these should all be fixed by now.