diff --git a/README.md b/README.md
index c0c8cdbd557d7557b93b4b66163c5d160e0d972b..9a67caa0909ad29bc3282fb4e5aadd07d146990d 100644
--- a/README.md
+++ b/README.md
@@ -16,13 +16,17 @@ Under arch with `yay` installed simply:
 > yay -S z3
 ```
 
+Later, you also need to have `gdb` installed, under arch by:
 
-## Install KLEE from source
+```shell
+> yay -S gdb
+```
 
+## Install KLEE from source
 
 The instructions recommend LLVM 9, but the current master (2.2-pre) supports LLVM 11 (which is what you would have under arch as of 2020-12-07).
 
-Under arch you can simply
+Under arch you can simply:
 
 ```shell
 > git clone https://github.com/klee/klee.git