diff --git a/design/mvp/Binary.md b/design/mvp/Binary.md
index 64cbe3bd..2f6547b1 100644
--- a/design/mvp/Binary.md
+++ b/design/mvp/Binary.md
@@ -275,6 +275,8 @@ Notes:
   to match the preceding `sort`.
 * (The `0x00` immediate of `case` may be reinterpreted in the future as the
   `none` case of an optional immediate.)
+* 🔧 for fixed-sized lists the length of the list must be larger than 0 to pass
+  validation.
 
 
 ## Canonical Definitions
diff --git a/design/mvp/Explainer.md b/design/mvp/Explainer.md
index 77602bc5..9a8330ea 100644
--- a/design/mvp/Explainer.md
+++ b/design/mvp/Explainer.md
@@ -672,7 +672,7 @@ and sequencing contained values.
 
 🔧 When the optional `<u32>` immediate of the `list` type constructor is present,
 the list has a fixed length and the representation of the list in memory is
-specialized to this length.
+specialized to this length. Note that the fixed length must be larger than 0.
 
 ##### Handle types