diff --git a/README.md b/README.md
index a39e38a1b399..a0911ad73ee7 100644
--- a/README.md
+++ b/README.md
@@ -138,10 +138,11 @@ Proof action is an **experimental** feature to assist developers debug proof fai
 ### Prerequisite
 * "4. Running Verus in VS Code (optional)"
 * [verusfmt](https://github.com/verus-lang/verusfmt)   
-You can conveniently install verusfmt using the following
+You can install `verusfmt` using the following
 ```
 cargo install verusfmt --locked
 ```
+You can also use `which verusfmt` to get the absolute path to it.
 
 
 ### Configuration
@@ -157,7 +158,7 @@ The "settings" in the `.code-workspace` file need additional configuration to gi
 }
 ```
 
-The final configuration file might look like the following.
+The final configuration for `settings` might look like the following.
 
 ```json
 "settings": {
diff --git a/crates/flycheck/src/lib.rs b/crates/flycheck/src/lib.rs
index d289a3e6517e..c9595f319c0e 100644
--- a/crates/flycheck/src/lib.rs
+++ b/crates/flycheck/src/lib.rs
@@ -5,9 +5,7 @@
 #![warn(rust_2018_idioms, unused_lifetimes, semicolon_in_expressions_from_macros)]
 
 use std::{
-    fmt, io,
-    process::{ChildStderr, ChildStdout, Command, Stdio},
-    time::Duration, path::Path,
+    fmt, io, path::Path, process::{ChildStderr, ChildStdout, Command, Stdio}, time::Duration
 };
 
 use command_group::{CommandGroup, GroupChild};
@@ -262,7 +260,7 @@ impl FlycheckActor {
                     match CargoHandle::spawn(command) {
                         Ok(cargo_handle) => {
                             tracing::error!(
-                                "did  restart Verus"
+                                "did restart Verus"
                             );
                             
                             self.cargo_handle = Some(cargo_handle);
@@ -550,8 +548,10 @@ struct CargoHandle {
 
 impl CargoHandle {
     fn spawn(mut command: Command) -> std::io::Result<CargoHandle> {
+        dbg!("spawn from CargoHandle");
         command.stdout(Stdio::piped()).stderr(Stdio::piped()).stdin(Stdio::null());
         let mut child = command.group_spawn().map(JodGroupChild)?;
+        dbg!("finished executing command");
 
         let stdout = child.0.inner().stdout.take().unwrap();
         let stderr = child.0.inner().stderr.take().unwrap();