From f696fd3584e0bcb21bb8c6a33df620c69a6d085b Mon Sep 17 00:00:00 2001
From: Nelly Barret <nelly.barret@inria.fr>
Date: Thu, 19 Nov 2020 10:28:33 +0100
Subject: [PATCH] [FINAL] final version

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

diff --git a/README.md b/README.md
index a2e97e13..ffa00a96 100755
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Next, to install the database, run the MongoDB server and execute this command (
 ```
 
 where `/path/to/` is the path to the dump file of the IRIS collection (provided with the package mongiris in `mongiris/data/dump-iris.bin`). 
-You may have to create two folders for Mongodb: `data/db` under `PATH/TO/MONGODB/bin`. A tip is to move the dump into that folder and use the hollowing steps:
+You may have to create two folders for Mongodb: `data/db` under `PATH/TO/MONGODB/bin`. A tip is to move the dump into that folder and do the following steps:
 
 1. In a first terminal: `./mongod --dbpath=./data/db` (to run mongodb),
 2. In a second terminal: `./mongorestore --archive=./data/db/dump-dbinsee.bin` (to restore data from the dump).
-- 
GitLab