diff --git a/.dir-locals.el b/.dir-locals.el
index ee845344606b5da0003bb921dffd010b2a7313e5..e9d4c92f06ae7a00e47bc6ac8a4d30a84b1ae4b4 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "lib/ModuRes/" "ModuRes"))))
+   (rec "." "_"))))
 
 
diff --git a/lib/ModuRes/.dir-locals.el b/lib/ModuRes/.dir-locals.el
index 44673b5a49b0e9c498059e82dad73354f19024ff..a13fe1a9d4d5f45b8e23c2ae0a53f5ab40e51a44 100644
--- a/lib/ModuRes/.dir-locals.el
+++ b/lib/ModuRes/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "./" "ModuRes"))))
+   (rec "../../" "_"))))