Fix comment about gcd-ing two coprimes.