diff --git a/README.md b/README.md
index 1752c5d2c73bfc0453823d27ee4e20adfdcbd2d9..75f9e9e2f9cc50d86174d448d37b0d46ee94825c 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ CPU cores.
 ORC11 provides an operational version of [RC11] without SC accesses and SC fences,
 and with a race detector for non-atomics.
 
-In [thread.v](orc11/thread.v), the definition of the semantics
+In [thread.v](gpfsl/orc11/thread.v), the definition of the semantics
 is decomposed into 3 relations `lbl_machine_step`, `drf_pre`, and `drf_post`.
 `lbl_machine_step` concerns the main semantics of views, while `drf_pre` and
 `drf_post` implement the race detector (Section 5.1 of the RBrlx paper).