Fixes Issue 9794 - std.json cannot handle delete character

#1217 depends on this.