diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 6d926bba5..992666a71 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -16,6 +16,7 @@ Konstantin Ardakov
 Dima Arinkin
 Aravind Asok
 Dario Balboni
+Badam Baplan
 Adrian Barquero-Sanchez
 Owen Barrett
 Giulia Battiston
diff --git a/more-algebra.tex b/more-algebra.tex
index 21d1448c5..32e929273 100644
--- a/more-algebra.tex
+++ b/more-algebra.tex
@@ -4747,8 +4747,8 @@ \section{Torsion free modules}
 0 = a_1 \cdot (-a'_j) + a_j \cdot 1 (j \geq 2)
 $$
 shows that the relation was trivial (to be explicit the elements
-$a_{ij}$ are defined by setting $a_{1j} = -a'_j$ and $a_{ij} = \delta_{ij}$
-for $i, j \geq 2$).
+$a_{ij}$ are defined by setting $a_{11} = 0$, $a_{1j} = -a'_j$
+for $j > 1$, and $a_{ij} = \delta_{ij}$ for $i, j \geq 2$).
 \end{proof}
 
 \begin{lemma}