Use {"tag": "Str", "val": "foo"} format for JSON.
Version bump to 1.12.3.