diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
index 77014462c3..390ecb2573 100644
--- a/DEVELOPMENT.md
+++ b/DEVELOPMENT.md
@@ -4,7 +4,7 @@ This is a guide with helpful information for developers who want to contribute t
 
 ## Getting started
 
-You can run the test suite in SP1 core by running the following command:
+To build SP1, you must install [Go](https://go.dev/doc/install). You can run the test suite in SP1 core by running the following command:
 
 ```bash
 cd core
diff --git a/crates/core/machine/src/utils/prove.rs b/crates/core/machine/src/utils/prove.rs
index 45fc517c58..e923d5d237 100644
--- a/crates/core/machine/src/utils/prove.rs
+++ b/crates/core/machine/src/utils/prove.rs
@@ -853,7 +853,7 @@ where
     let mut reader = std::io::BufReader::new(file);
     let state: ExecutionState =
         bincode::deserialize_from(&mut reader).expect("failed to deserialize state");
-    let mut runtime = Executor::recover(program.clone(), state.clone(), opts);
+    let mut runtime = Executor::recover(program, state, opts);
     runtime.maximal_shapes = shape_config
         .map(|config| config.maximal_core_shapes().into_iter().map(|s| s.inner).collect());