Change to options.json: Allow unused params to be declared