diff --git a/README.md b/README.md
index c641255b0f..dc1b35ed97 100644
--- a/README.md
+++ b/README.md
@@ -97,7 +97,7 @@ RUST_LOG=$ERROR_LOG_LEVEL RUST_LOG_FORMAT=$ERROR_LOG_FORMAT just run_test test_s
 
 ## Careful
 
-To double check for UB:
+To double-check for UB:
 
 ```bash
 nix develop .#correctnessShell
diff --git a/crates/examples/push-cdn/README.md b/crates/examples/push-cdn/README.md
index c460beb89a..a20e46f4ce 100644
--- a/crates/examples/push-cdn/README.md
+++ b/crates/examples/push-cdn/README.md
@@ -51,7 +51,7 @@ sleep 1m
 just example_fixed_leader multi-validator-push-cdn -- 9 http://127.0.0.1:4444
 ```
 
-Where ones using `example_gpuvid_leader` could be the leader and should be running on a nvidia GPU, and other validators using `example_fixed_leader` will never be a leader. In practice, these url should be changed to the corresponding ip and port.
+Where ones using `example_gpuvid_leader` could be the leader and should be running on an nvidia GPU, and other validators using `example_fixed_leader` will never be a leader. In practice, these url should be changed to the corresponding ip and port.
 
 
 If you don't have a gpu but want to test out fixed leader, you can run:
@@ -65,4 +65,4 @@ sleep 1m
 just example_fixed_leader multi-validator-push-cdn -- 9 http://127.0.0.1:4444
 ```
 
-Remember, you have to run leaders first, then other validators, so that leaders will have lower index.
\ No newline at end of file
+Remember, you have to run leaders first, then other validators, so that leaders will have lower index.