diff --git a/index.html b/index.html
index 9563842..e65d5b4 100644
--- a/index.html
+++ b/index.html
@@ -83,7 +83,7 @@
 				Instead, it will return a counterexample, which can be used to resolve the bug.
 
 				<p>Bisimulations are also used to minimise your state-based systems.
-				this enables model-checkers to prove correctness in terms of temporal logics.
+				This enables model-checkers to prove correctness in terms of temporal logics.
 			</div>
 
 			<div>