I see, it's for the `JSON.pretty_generate`. Scratch my previous comment.