diff --git a/cargo_klee_examples/examples/cyccnt.rs b/cargo_klee_examples/examples/cyccnt.rs
index c565c2dd283cdf8220cbcb94468da00de6940234..bbc93f109b7f672609c3b1411f642d8a9640ca28 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -232,7 +232,7 @@ fn main() {
 // [your answer here]
 // I switch the subtraction to a wrapping one this will remove the error. I choose this solution
 // because it is short and easy to implement. It also calculates the correct diff value as long as
-// end has not wrapped around more then once.
+// it is not larger or equal to 2^32.
 //
 // D) Learning outcomes and major takeaways.
 //