diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 1849132e9eb4729d8380b7c23f346e727c8bcd3f..6c055e634feb7c5f6a5d509bf44dd1110780f98b 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -35,7 +35,7 @@ fn main() {
 // test generated in debug/dev mode (un-optimized).
 //
 // Try to explain in your own words the difference and why?
-// (Hint, even if we don't use the result `b`, Rust do optimize out the call, why?)
+// (Hint, even if we don't use the result `b`, Rust do not optimize out the call, why?)
 //
 // [your answer here]
 //