Tweak encode-json a little bit.