in {repo.}/“p4-spec/p4-16/P4-16-spec.mdk”: two minor corrections in the subsection “Variable-width extraction” [12.8.2 in v1.2.2 as “Variable width extraction”] (incl. its title)

Author: Abe149

p4-16/spec/P4-16-spec.mdk

@@ -5964,15 +5964,15 @@ void packet_in.extract<T>(out T headerLValue) {
 }
 ~ End P4Pseudo
 
-### Variable width extraction { #sec-packet-extract-two }
+### Variable-width extraction { #sec-packet-extract-two }
 
 The two-argument `extract` handles variable-width headers, and is declared in P4 as follows:
 
 ~ Begin P4Example
 void extract<T>(out T headerLvalue, in bit<32> variableFieldSize);
 ~ End P4Example
 
-The expression `headerLvalue` must be a l-value representing a
+The expression `headerLvalue` must be an l-value representing a
 header that contains *exactly one* `varbit` field. The expression `variableFieldSize`
 must evaluate to a `bit<32>` value that indicates the number of
 bits to be extracted into the unique `varbit` field of the header