diff --git a/p4-16/spec/P4-16-spec.adoc b/p4-16/spec/P4-16-spec.adoc
index 2683a36b7a..6ced14bc56 100644
--- a/p4-16/spec/P4-16-spec.adoc
+++ b/p4-16/spec/P4-16-spec.adoc
@@ -1890,8 +1890,10 @@ Operations on values of type `match_kind` are described in
 ==== The Boolean type
 
 The Boolean type `bool` contains just two values, `false` and `true`.
-Boolean values are not integers or bit-strings. Operations that can
-be performed on booleans are described in Section <<sec-bool-exprs>>.
+Boolean values are not integers or bit-strings. Boolean values can be
+serialized and deserialized, where `false` is serialized as 0 and `true`
+is serialized as 1. Operations that can be performed on booleans are
+described in Section <<sec-bool-exprs>>.
 
 [#sec-string-type]
 ==== Strings