diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md
index 3b2995aa5..19ffb99f3 100644
--- a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md
+++ b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md
@@ -1,6 +1,7 @@
 # Wasm Binary Parser
 
-This file defines a Wasm binary parser.
+This file defines a Wasm binary parser based on this
+[spec](https://webassembly.github.io/spec/core/binary/index.html).
 To begin, we define constant macros which drive the parser process.
 
 ```k