diff --git a/README.md b/README.md
index f7f6068..0ff982b 100644
--- a/README.md
+++ b/README.md
@@ -30,23 +30,27 @@ git submodule update
make
```
-### Running the tests
+### Add the sources to LD_LIBRARY_PATH
```sh
-make test
+export LD_LIBRARY_PATH=$PWD/libc3/.libs:$PWD/libffi/.libs
```
-### Running gdb
+### Running the tests
```sh
-make gdb_ic3
-make gdb_test
+make test
```
### Running ic3
```sh
-export LD_LIBRARY_PATH=$PWD/libc3/.libs:$PWD/libffi/.libs
ic3/.libs/ic3
```
+### Running gdb
+```sh
+make gdb_ic3
+make gdb_test
+```
+
## Structure