diff --git a/README.md b/README.md
index 0b0c7cbdda93498adc6c615e5e4504ab68a8a3b3..a7c3f4efcba2257c98ef4d7f108e5ad7470ce0d3 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # LISA = LISA Is Sets Automated
 
-LISA is a Proof Assistant based on first order logic, Sequent Calculus and Set Theory. To get started, look at the [Reference Manual](/LISA Reference Manual.pdf).
+LISA is a Proof Assistant based on first order logic, Sequent Calculus and Set Theory. To get started, look at the [Reference Manual](/LISA%20Reference%20Manual.pdf).
 
 EPFL-LARA Website: https://lara.epfl.ch/w/