Ensure that command line options also end up in json output