diff --git a/README.md b/README.md
index 1cfadc60111bffc6644c08616f9a9b94374fb0e2..c6284fb58f69920a33074baaf58698c615099c84 100644
--- a/README.md
+++ b/README.md
@@ -42,10 +42,10 @@ mechanization in Coq:
 * 2. Tour of Actris
   * 2.3 Basic, sort: `theories/examples/sort.v`
   * 2.4 Higher-Order Functions, sort_func: `theories/examples/sort.v`
-  * 2.5 Branching: `theories/examples/loop_sort.v`
-  * 2.6 Recursion: `theories/examples/loop_sort.v`
-  * 2.7 Delegation: `theories/examples/loop_sort.v`
-  * 2.8 Dependent: `theories/examples/sort_elem.v`
+  * 2.5 Branching: `theories/examples/sort_br_del.v`
+  * 2.6 Recursion: `theories/examples/sort_br_del.v`
+  * 2.7 Delegation: `theories/examples/sort_br_del.v`
+  * 2.8 Dependent: `theories/examples/sort_fg.v`
 * 3. Manifest sharing via locks
   * 3.1 Sample program: `theories/examples/basics.v`
   * 3.2 Distributed mapper: `theories/examples/map.v`
diff --git a/_CoqProject b/_CoqProject
index c843c5af2342a8456bfb2849b468794b384cae75..11274648c017781f5618f9ed962582a8f503c62d 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -9,9 +9,9 @@ theories/channel/channel.v
 theories/channel/proto_model.v
 theories/channel/proto_channel.v
 theories/channel/proofmode.v
+theories/examples/basics.v
 theories/examples/sort.v
-theories/examples/loop_sort.v
+theories/examples/sort_br_del.v
 theories/examples/sort_fg.v
 theories/examples/map.v
 theories/examples/map_reduce.v
-theories/examples/basics.v
diff --git a/theories/examples/loop_sort.v b/theories/examples/sort_br_del.v
similarity index 100%
rename from theories/examples/loop_sort.v
rename to theories/examples/sort_br_del.v