Merge pull request #872 from p4lang/v1.2.1-formatting

Fix small formatting issues in v1.2.1

Author: jnfoster

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

@@ -7767,13 +7767,13 @@ The P4 compiler should provide:
 |       |               | tuples, `@deprecated` annotation, free-form annotations, `int` type |
 |       |               | `table.apply().miss`, `string` type.                                |
 |-----|-----|-----|
-| 1.2.1     | June 11, 2020 | Added structure-value expressions, default values, concatenation, | 
-|     |     |               | structured  annotations; standardized several new annotations;    | 
-|     |     |               | generalized typing rule for masks; restricted typing rule for     | 
-|     |     |               | shifts with infinite-precistion operands; clarified evaluation    | 
-|     |     |               | order for table keys; clarified copy-out behavior; clarified      | 
-|     |     |               | semantics of invalid header stacks; clarified initialization      | 
-|     |     |               | semantics; fixed several small issues in grammar.                 |
+| 1.2.1     | June 11, 2020 | Added structure-value expressions, default values, concatenation, |
+|           |               | structured  annotations; standardized several new annotations;    |
+|           |               | generalized typing rule for masks; restricted typing rule for     |
+|           |               | shifts with infinite-precistion operands; clarified evaluation    |
+|           |               | order for table keys; clarified copy-out behavior; clarified      |
+|           |               | semantics of invalid header stacks; clarified initialization      |
+|           |               | semantics; fixed several small issues in grammar.                 |
 |-----|-----|-----|
 
 ## Summary of changes made in version 1.2.1
@@ -7787,7 +7787,7 @@ The P4 compiler should provide:
   [#sec-concatenation]).
 
 * Added key-value and list-structured annotations (Section
-  [#annotations]).
+  [#sec-annotations]).
 
 * Added `@pure` and `@noSideEffects` annotations (Section
   [#sec-extern-annotations]).