Reserved bitfield minor word change

1 files changed, 1 insertions, 1 deletions

diff --git a/BinaryEncoding.md b/BinaryEncoding.md
index 288ec38..9551ad1 100644
--- a/BinaryEncoding.md
+++ b/BinaryEncoding.md
@@ -393,7 +393,7 @@ The `memory_immediate` type is encoded as follows:
 As implied by the `log2(alignment)` encoding, the alignment must be a power of 2.
 As an additional validation criteria, the alignment must be less or equal to 
 natural alignment. The bits after the
-`log(memory-access-size)` least-significant bits should be set to 0. These bits are reserved for future use
+`log(memory-access-size)` least-significant bits must be set to 0. These bits are reserved for future use
 (e.g., for shared memory ordering requirements).
 
 ## Simple operators ([described here](AstSemantics.md#32-bit-integer-operators))