diff --git a/cbmc/proofs/README.md b/cbmc/proofs/README.md
index b2e1cac53..f108075a6 100644
--- a/cbmc/proofs/README.md
+++ b/cbmc/proofs/README.md
@@ -27,7 +27,7 @@ If `GITHUB_STEP_SUMMARY` is set, the proof summary will be appended to it.
 
 # Covered functions
 
-Each proved function has a eponymous sub-directory of its own. The shell command
+Each proved function has an eponymous sub-directory of its own. The shell command
 
 ```
 find . -name cbmc-proof.txt