From bb59e63f119e3dfa67f751fb75c05deb97330f1b Mon Sep 17 00:00:00 2001
From: David Seus <david.seus@ians.uni-stuttgart.de>
Date: Mon, 12 Oct 2020 10:05:39 +0200
Subject: [PATCH] add explanation

---
 Setup/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Setup/README.md b/Setup/README.md
index 9075fe0..610b86b 100644
--- a/Setup/README.md
+++ b/Setup/README.md
@@ -31,7 +31,7 @@ to perform these steps for you. The user that wants to run `docker` needs to
 be in the docker group. If you have added yourself to the docker group, don't
 forget to log out and back in again.
 
-## Manual how to set up latest fenix image in Docker
+## Set up latest Fenix image in Docker
 Pull the latest `Fenics` Docker image
 
     docker pull quay.io/fenicsproject/stable:latest
-- 
GitLab