diff --git a/README.md b/README.md
index f9a5beaddfb408d8759df2f0e3aef9e922d29bb7..40d300471cf47806a3192325e36a739253a65664 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ Low-level bindings to LLVM-KLEE.
 
 LLVM KLEE performs symbolic execution of LLVM-IR programs. For each path KLEE will generate a concrete test.
 
-A path is termintated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consequitively a concrete test).
+A path is terminated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consecutively a concrete test).
 
 As `assert!()`/`assert_eq!()` etc. expands to conditional `panic!()`, thus a failing assertion will be caught.