diff --git a/README.md b/README.md
index bf41216..911b3c4 100644
--- a/README.md
+++ b/README.md
@@ -26,7 +26,7 @@ This is a formalization of the displacement algebras, their properties, and part
 | Prefix order                          | 3.3.6           | [Prefix](src/Mugen/Algebra/Displacement/Instances/Prefix.agda)                 | [Prefix](https://redprl.org/mugen/mugen/Mugen/Shift/Prefix)                                                                                                         |
 | Fractal displacements                 | 3.3.7           | [Fractal](src/Mugen/Algebra/Displacement/Instances/Fractal.agda)               | [Fractal](https://redprl.org/mugen/mugen/Mugen/Shift/Fractal)                                                                                                       |
 | Opposite displacements                | 3.3.8           | [Opposite](src/Mugen/Algebra/Displacement/Instances/Opposite.agda)             | [Opposite](https://redprl.org/mugen/mugen/Mugen/Shift/Opposite)                                                                                                     |
-| Weird frarctal displacements          | 3.3.9           | [WeirdFractal](src/Mugen/Algebra/Displacement/Instances/WeirdFractal.agda)     | [Fractal](https://redprl.org/mugen/mugen/Mugen/Shift/Fractal)                                                                                                       |
+| Weird fractal displacements           | 3.3.9           | [WeirdFractal](src/Mugen/Algebra/Displacement/Instances/WeirdFractal.agda)     | [Fractal](https://redprl.org/mugen/mugen/Mugen/Shift/Fractal)                                                                                                       |
 | Endomorphisms                         | 3.4 (Lemma 3.7) | [Endomorphism](src/Mugen/Algebra/Displacement/Instances/Endomorphism.agda)     | _(not implementable)_                                                                                                                                               |
 
 ### Other Theorems