From f5bfa4b6fec830f66b25a8cf8635073cf5aed3a8 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Fri, 10 Aug 2018 17:33:41 -0400
Subject: [PATCH] minor

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index d862042..2a55d21 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
-## Fork this repo
 
-Fork this repo to edit it.
+
+## Installation 
 
 
 ## Running using Docker
@@ -10,7 +10,7 @@ First run:
     $ git submodule sync --recursive
     $ git submodule update --init --recursive
 
-# Installing Docker
+## Installing Docker on Ubuntu 16
 
 Then install Docker: