diff --git a/src/Cat/Functor/Equivalence.lagda.md b/src/Cat/Functor/Equivalence.lagda.md
index 2e7d52d98..b320807e8 100644
--- a/src/Cat/Functor/Equivalence.lagda.md
+++ b/src/Cat/Functor/Equivalence.lagda.md
@@ -838,7 +838,7 @@ Id-is-equivalence {C = C} .counit-iso x =
 
 ### Preserving invertibility
 
-We can characterise equivalences as those adjunctions $L \vdash R$ that
+We can characterise equivalences as those adjunctions $L \dashv R$ that
 *preserve invertibility*, in the sense that the adjunct of an isomorphism
 $L(a) \cong b$ is an isomorphism $a \cong R(b)$ and vice versa;
 that is, the property of being invertible in $\cC$ is equivalent to
diff --git a/support/static/licenses/LICSENSE.fast-fuzzy.txt b/support/static/licenses/LICENSE.fast-fuzzy.txt
similarity index 100%
rename from support/static/licenses/LICSENSE.fast-fuzzy.txt
rename to support/static/licenses/LICENSE.fast-fuzzy.txt