SQUASH Apply suggestions from code review

Co-authored-by: David Cook <dcook@divviup.org>

draft-irtf-cfrg-vdaf.md

@@ -1019,7 +1019,7 @@ accomplished using the following algorithm:
 
   Pre-conditions:
 
-    * `agg_id` MUST be in `[0,SHARES)` and match the index of
+    * `agg_id` MUST be in `[0, SHARES)` and match the index of
       `input_share` in the sequence of input shares produced by the Client.
     * `nonce` MUST have length `NONCE_SIZE`.
 
@@ -2582,7 +2582,7 @@ of proofs.
 ## Construction {#prio3-construction}
 
 This section specifies `Prio3`, an implementation of the `Vdaf` interface
-({{vdaf}}). It has three generic parameters: an `NttField ({{ntt-field}}), an
+({{vdaf}}). It has three generic parameters: an `NttField` ({{ntt-field}}), an
 `Flp` ({{flp}}) and a `Xof` ({{xof}}). It also has an associated constant,
 `PROOFS`, with a value in range `[1, 256)`, denoting the number of FLPs
 generated by the Client ({{multiproofs}}).
@@ -3953,7 +3953,7 @@ def eval(
 This instance of Prio3 supports summing a vector of integers. It has three
 parameters, `length`, `bits`, and `chunk_length`. Each measurement is a vector
 of positive integers with length equal to the `length` parameter. Each element
-of the measurement is an integer in the `[0, 2**bits)`. It is RECOMMENDED
+of the measurement is an integer in the range `[0, 2^bits)`. It is RECOMMENDED
 to set `chunk_length` to an integer near the square root of `length * bits`
 (see {{parallel-sum-chunk-length}}).
 
@@ -4074,7 +4074,7 @@ def eval(
 | `OUTPUT_LEN`      | `length`                                               |
 | `JOINT_RAND_LEN`  | `GADGET_CALLS[0]`                                      |
 | `EVAL_OUTPUT_LEN` | `1`                                                    |
-| `Measurement`     | `list[int]`, each element in `[0, 2**bits)`            |
+| `Measurement`     | `list[int]`, each element in `[0, 2^bits)`             |
 | `AggResult`       | `list[int]`                                            |
 {: title="Parameters of validity circuit SumVec."}