Fixes JsonEncode