From c55f1a85e529de7dccc49143f93aeed01de385c5 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <joshua@cs.rwth-aachen.de>
Date: Wed, 1 Apr 2020 08:51:45 +0200
Subject: [PATCH] Baas to BaaS

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index e65d5b4..05a165e 100644
--- a/index.html
+++ b/index.html
@@ -108,11 +108,11 @@
 
 			<div>
 				<h3>Testimonial</h3>
-				<p style="font-style:italic">"Baas is by far the most user-friendly bisimulation checker I have every tried.
+				<p style="font-style:italic">"BaaS is by far the most user-friendly bisimulation checker I have every tried.
 				Small systems, or ones with millions of transitions, Baas gives me the
 				right answers in virtually no time at all. Never again need I
 				experiment with dotted lines on a whiteboard: just pipe it through
-				Baas and all will be clear!"
+				BaaS and all will be clear!"
 				<p style="text-align:right">- Rob van Glabbeek
 			</div>
 		</div>