diff --git a/docs/src/index.md b/docs/src/index.md
index 104321663..2d19fa475 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -58,7 +58,7 @@ diagrams, Petri nets, and the like.
 
 ### What is a GAT?
 
-See [GATlab documentation](https://algebraicjulia.github.io/Gatlab.jl)
+See [GATlab documentation](https://algebraicjulia.github.io/GATlab.jl)
 
 ## Conventions
 
diff --git a/src/theories/MonoidalAdditive.jl b/src/theories/MonoidalAdditive.jl
index 6f6655d39..17509229f 100644
--- a/src/theories/MonoidalAdditive.jl
+++ b/src/theories/MonoidalAdditive.jl
@@ -148,7 +148,7 @@ end
 
 """ Theory of *monoidal categories with bidiagonals*, in additive notation
 
-Mathematically the same as (@ref) but
+Mathematically the same as [`ThMonoidalCategoryWithBidiagonals`](@ref) but
 written additively, instead of multiplicatively.
 """
 @theory ThMonoidalCategoryWithBidiagonalsAdditive <: