Fix `toJsonString()`