A single backslash becomes double backslash

Right. It's the JSON serialization. Thanks!