From a571ad8724889d03ba5d4d5e8bb79037811c1a08 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <joshua@cs.rwth-aachen.de>
Date: Tue, 31 Mar 2020 16:08:02 +0200
Subject: [PATCH] this -> This

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>