diff --git a/library/bignum.c b/library/bignum.c
index 028ea69..1fdc8aa 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -2374,7 +2374,7 @@
      *   and TA = 0, so TB is odd and gcd(TA,TB) = gcd(A',B'). In this case,
      *   lz = min(a,b) so gcd(A,B) = 2^lz * TB.
      * - If there was no loop iteration, then A was 0, and gcd(A,B) = B.
-     *   In this case, B = 2^lz * TB so gcd(A,B) = 2^lz * TB as well.
+     *   In this case, lz = 0 and B = TB so gcd(A,B) = B = 2^lz * TB as well.
      */
 
     MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l( &TB, lz ) );