Fixes JSON encoding of UTF8