diff --git a/src/sage/modular/congroup.py b/src/sage/modular/congroup.py
index 5c18611ac79..7a323fca236 100644
--- a/src/sage/modular/congroup.py
+++ b/src/sage/modular/congroup.py
@@ -1347,11 +1347,11 @@ def _reduce_cusp(self, c):
         for the given cusp, and t is either 1 or -1, as explained
         below.
 
-        The minimal representative for a cusp is the element in P^1(Q)
+        The minimal representative for a cusp is the element in $P^1(Q)$
         in lowest terms with minimal denominator, and minimal
         numerator for that denominator.
 
-        Two cusps $u1/v1$ and $u2/v2$ are equivalent modulo Gamma_H(N)
+        Two cusps $u1/v1$ and $u2/v2$ are equivalent modulo $\Gamma_H(N)$
         if and only if
             $v1 =  h*v2 (mod N)$ and $u1 =  h^(-1)*u2 (mod gcd(v1,N))$
         or
diff --git a/src/sage/schemes/elliptic_curves/ell_finite_field.py b/src/sage/schemes/elliptic_curves/ell_finite_field.py
index c627e12e3b1..9fbc718d7c9 100644
--- a/src/sage/schemes/elliptic_curves/ell_finite_field.py
+++ b/src/sage/schemes/elliptic_curves/ell_finite_field.py
@@ -1007,7 +1007,7 @@ def abelian_group(self, debug=False):
             sage: E.cardinality(extension_degree=100)
             1267650600228231653296516890625
 
-        This tests the patch for trac#3111, using 10 primes randomly selected:
+        This tests the patch for trac \#3111, using 10 primes randomly selected:
             sage: E = EllipticCurve('389a')
             sage: for p in [5927, 2297, 1571, 1709, 3851, 127, 3253, 5783, 3499, 4817]:
             ...       G = E.change_ring(GF(p)).abelian_group()