diff --git a/idris/learning/README.md b/idris/learning/README.md
index 2b7e661..d25d6b7 100644
--- a/idris/learning/README.md
+++ b/idris/learning/README.md
@@ -4,10 +4,10 @@ This directory contains the results of my first adventure into the world of Idri
 
 ## File structure
 
-| File                                                       | Description                                   |
-| ---------------------------------------------------------- | --------------------------------------------- |
-| [./src/My/Nats.idr](./src/My/Nats.idr)                     | Natural numbers                               |
-| [./src/My/Signs.idr](./src/My/Signs.idr)                   | Signs (essentially $\mathbb Z / 2 \mathbb Z$) |
-| [./src/My/Integers.idr](./src/My/Integers.idr)             | Integers as differences of naturals           |
-| [./src/My/Structures.idr](./src/My/Structures.idr)         | Setoids, semigroups, monoids and groups       |
-| [./src/My/Syntax/Rewrite.idr](./src/My/Syntax/Rewrite.idr) | Coping with the lack of tactics               |
+| File                                              | Description                                   |
+| ------------------------------------------------- | --------------------------------------------- |
+| [Nats.idr](./src/My/Nats.idr)                     | Natural numbers                               |
+| [Signs.idr](./src/My/Signs.idr)                   | Signs (essentially $\mathbb Z / 2 \mathbb Z$) |
+| [Integers.idr](./src/My/Integers.idr)             | Integers as differences of naturals           |
+| [Structures.idr](./src/My/Structures.idr)         | Setoids, semigroups, monoids and groups       |
+| [Syntax/Rewrite.idr](./src/My/Syntax/Rewrite.idr) | Coping with the lack of tactics               |
diff --git a/lean/learning/README.md b/lean/learning/README.md
index 44b4a36..eced62c 100644
--- a/lean/learning/README.md
+++ b/lean/learning/README.md
@@ -4,8 +4,8 @@ This directory contains the results of my first adventure into the world of Lean
 
 ## File structure
 
-| File                                                 | Description                                             |
-| ---------------------------------------------------- | ------------------------------------------------------- |
-| [./Learning/Noob.lean](./Learning/Noob.lean)         | Syntax practice                                         |
-| [./Learning/Nat.lean](./Learning/Nat.lean)           | Natural numbers                                         |
-| [./Learning/Integers.lean](./Learning/Integers.lean) | Integers as quotient types over differences of naturals |
+| File                                      | Description                                             |
+| ----------------------------------------- | ------------------------------------------------------- |
+| [Noob.lean](./Learning/Noob.lean)         | Syntax practice                                         |
+| [Nat.lean](./Learning/Nat.lean)           | Natural numbers                                         |
+| [Integers.lean](./Learning/Integers.lean) | Integers as quotient types over differences of naturals |