That's a clear sign the API is bad, what would `toPrettyChars(false)` do just by looking at the code?