diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
index 4b11da18be..9735de9a09 100644
--- a/p4-16/spec/P4-16-spec.mdk
+++ b/p4-16/spec/P4-16-spec.mdk
@@ -1,5 +1,5 @@
 Title : P4~16~ Language Specification
-Title Note: version 1.1.0
+Title Note: version 1.2.0-rc
 Title Footer: &date;
 Author: The P4 Language Consortium
 Heading depth: 5
@@ -7238,7 +7238,7 @@ The P4 compiler should provide:
 |       |          | restrictions on arguments to calls, and modified precedence of |
 |       |          | bitwise operators. |
 |-----|-----|-----|
-| 1.2.0 | October, 2019 | Added error `ParserInvalidArgument`, order of `const` entries, |
+| 1.2.0 | October, 14, 2019 | Added error `ParserInvalidArgument`, order of `const` entries, |
 |       |               | header size methods, 1-bit signed values, signed bit slices, empty |
 |       |               | tuples, `@deprecated` annotation, free-form annotations, `int` type |
 |       |               | `table.apply().miss`, `string` type.                                |
@@ -7248,20 +7248,17 @@ The P4 compiler should provide:
 
 * Added `table.apply().miss` (Section [#sec-invoke-mau]).
 * Added `string` type (Section [#sec-string]).
-* Implicit casts from enum values (Section [#sec-enum-exprs]).
+* Added implicit casts from enum values (Section [#sec-enum-exprs]).
 * Allow 1-bit signed values
 * Define the type of bit slices from signed and unsigned values to be unsigned.
 * Constrain `default` label position for `switch` statements.
 * Allow empty tuples.
 * Added `@deprecated` annotation.
 * Relaxed the structure of annotation bodies.
-* Removed the `@pkginfo` annotation. This is defined by the P4Runtime
-  specification.
+* Removed the `@pkginfo` annotation, which is now defined by the P4Runtime specification.
 * Added `int` type (Section [#sec-infinite-precision-integers]).
-* Added error `ParserInvalidArgument` (Sections
-  [#sec-packet-extract-two], [#sec-skip-bits]).
-* Clarify the significance of order of entries in `const entries`
-  (Section [#sec-entries]).
+* Added error `ParserInvalidArgument` (Sections [#sec-packet-extract-two], [#sec-skip-bits]).
+* Clarified the significance of order of entries in `const entries` (Section [#sec-entries]).
 * Added methods to calculate header size (Section [#sec-ops-on-hdrs]).
 
 ## Summary of changes made in version 1.1.0