diff --git a/driver.md b/driver.md
index b3b4a7e..28b4471 100644
--- a/driver.md
+++ b/driver.md
@@ -2,16 +2,19 @@ Ethereum Simulation
 ===================
 
 ```k
+require "wasm-text.md"
 require "ewasm.md"
 require "data.md"
 
 module DRIVER-SYNTAX
     imports EWASM-SYNTAX
+    imports WASM-TEXT-SYNTAX
     imports DRIVER
 endmodule
 
 module DRIVER
     imports EWASM
+    imports WASM-TEXT
 ```
 
 An Ewasm program is the invocation of an Ethereum contract containing Ewasm code.
diff --git a/ewasm.md b/ewasm.md
index d5cd51a..1e34c25 100644
--- a/ewasm.md
+++ b/ewasm.md
@@ -2,11 +2,11 @@ Ewasm Specification
 =================
 
 ```k
-require "wasm-text.md"
+require "wasm.md"
 require "eei.md"
 
 module EWASM-SYNTAX
-    imports WASM-TEXT-SYNTAX
+    imports WASM-SYNTAX
     imports EWASM
 endmodule
 ```
@@ -19,7 +19,7 @@ Ewasm consists of a WebAssembly (Wasm) semantics, and an Ethereum Environment In
 
 ```k
     imports EEI
-    imports WASM-TEXT
+    imports WASM
 ```
 
 The configuration composes both the top level cells of the Wasm and EEI semantics.