diff --git a/STRUCTURE.md b/STRUCTURE.md
index 111567ff63d369f9d36c203e3c1a5fecfde4ed63..098f49ee9608de0f5682010951c7537ff68f2c25 100644
--- a/STRUCTURE.md
+++ b/STRUCTURE.md
@@ -137,4 +137,4 @@ Notes on exercises:
 | 10.3    | `concurrent_logrel/`                                              |
 
 Notes on exercises:
-* The exercise for verifying the channel implementation (Section 10.3) is located in `axiomatic/concurrency.v`.
+* The exercise for verifying the channel implementation (Section 10.3) is located in `concurrency.v`.