diff --git a/BinaryEncoding.md b/BinaryEncoding.md
index be2261d5..4f94aa8a 100644
--- a/BinaryEncoding.md
+++ b/BinaryEncoding.md
@@ -112,7 +112,7 @@ The module starts with a preamble of two fields:
 | Field | Type | Description |
 | ----- |  ----- | ----- |
 | magic number | `uint32` |  Magic number `0x6d736100` (i.e., '\0asm') |
-| version | `uint32` | Version number, currently 10. The version for MVP will be reset to 1. |
+| version | `uint32` | Version number, currently 12. The version for MVP will be reset to 1. |
 
 This preamble is followed by a sequence of sections. Each section is identified by an
 immediate string. Sections whose identity is unknown to the WebAssembly