diff --git a/docs/external/src/guides/debugger.md b/docs/external/src/guides/debugger.md
index 3344d587f..ac2262829 100644
--- a/docs/external/src/guides/debugger.md
+++ b/docs/external/src/guides/debugger.md
@@ -90,7 +90,7 @@ digest = '0x3cff5b58a573dc9d25fd3c57130cc57e5b1b381dc58b5ae3594b390c59835e63'
 values = [1, 2, 3, 4]
 
 [[inputs.advice.map]]
-digest = '0x20234ee941e53a15886e733cc8e041198c6e90d2a16ea18ce1030e8c3596dd38''
+digest = '0x20234ee941e53a15886e733cc8e041198c6e90d2a16ea18ce1030e8c3596dd38'
 values = [5, 6, 7, 8]
 ```
 
diff --git a/docs/external/src/index.md b/docs/external/src/index.md
index b72dc722a..b4a18c62c 100644
--- a/docs/external/src/index.md
+++ b/docs/external/src/index.md
@@ -35,7 +35,7 @@ The compiler toolchain consists of the following primary components:
   read-only data. In the future we intend to support more variety in the structure of Wasm modules
   we accept, but for the time being we're primarily focused on using this as the path for lowering
   Rust to Miden.
-- The compiler driver, in the form of the `midenc` executable, and a Rust crate, `midenc-compiler`
+- The compiler driver, in the form of the `midenc` executable, and a Rust crate, `midenc-compile`
   to allow integrating the compiler into other tools. This plays the same role as `rustc` does in
   the Rust ecosystem.
 - A Cargo extension, `cargo-miden`, that provides a convenient developer experience for creating