Fix JSON formatting for options. [Fixes #71095830]