Add explanation of i_validator [arguments], specify source of o_valid…

…ator args

spec/2023-07-draft.md

@@ -874,6 +874,8 @@ The validator should be possible to use as follows on the command line:
 <input_validator_program> [arguments] < inputfile
 ```
 
+Here, `arguments` is the `input_validator_args`.
+
 ### Output
 
 The input validator may output debug information on stdout and stderr.
@@ -968,7 +970,7 @@ The meaning of the parameters listed above are:
   so that simply appending a filename to feedback_dir gives the path to a file in the feedback directory.
 
 - additional_arguments:
-  in case the problem specifies additional validator_args, these are passed as additional arguments to the validator on the command line.
+  in case the test case specifies `output_validator_args`, these are passed as additional arguments to the validator on the command line.
 
 - team_output:
   the output produced by the program being validated is given on the validator's standard input pipe.