From 09fab0fee9189c980741f24c0ac7a44993aac48e Mon Sep 17 00:00:00 2001
From: Paul Maximilian Bittner <paul.bittner@uni-ulm.de>
Date: Fri, 4 Jun 2021 20:58:59 +0200
Subject: [PATCH] fix in INSTALL.md

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 4dfbb37..d5fc743 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,7 +1,7 @@
 ## Installation Instructions
 
 As explained in the [REQUIREMENTS.md](REQUIREMENTS.md), the [_Stack_][stack] build system is our only installation requirement.
-You can install it yourself or use the [Dockerfile](Dockerfile).
+You can install it and run the demo yourself (option 1) or use the [Dockerfile](Dockerfile) (option 2).
 
 ### Option 1: Manual Setup
 First, please install Stack.