diff --git a/docs/src/CommutativeAlgebra/rings.md b/docs/src/CommutativeAlgebra/rings.md
index 96104d0dbe58..d3e9c688b063 100644
--- a/docs/src/CommutativeAlgebra/rings.md
+++ b/docs/src/CommutativeAlgebra/rings.md
@@ -190,7 +190,7 @@ Fraction field
 
 ```jldoctest
 julia> ZZ
-Integer Ring
+Integer ring
 
 ```
 
diff --git a/docs/src/Rings/integer.md b/docs/src/Rings/integer.md
index 201226ebaae4..76a0c8aa453f 100644
--- a/docs/src/Rings/integer.md
+++ b/docs/src/Rings/integer.md
@@ -40,7 +40,7 @@ The parent of an OSCAR integer is the ring of integers `ZZ`.
 
 ```jldoctest
 julia> ZZ
-Integer Ring
+Integer ring
 
 ```
 
diff --git a/experimental/Matrix/matrix.jl b/experimental/Matrix/matrix.jl
index de8fd276972a..38732559f309 100644
--- a/experimental/Matrix/matrix.jl
+++ b/experimental/Matrix/matrix.jl
@@ -24,7 +24,7 @@ Compute the JuliaMatrixRep of `m` in GAP.
 julia> m = matrix(ZZ, [0 1 ; -1 0]);
 
 julia> Oscar._wrap_for_gap(m)
-GAP: <matrix object of dimensions 2x2 over Integer Ring>
+GAP: <matrix object of dimensions 2x2 over Integer ring>
 ```
 """
 _wrap_for_gap(m::MatrixElem) = GAP.Globals.MakeJuliaMatrixRep(m)
diff --git a/experimental/Schemes/AlgebraicCycles.jl b/experimental/Schemes/AlgebraicCycles.jl
index 2a45364eba9f..ea0e7f6eac61 100644
--- a/experimental/Schemes/AlgebraicCycles.jl
+++ b/experimental/Schemes/AlgebraicCycles.jl
@@ -191,7 +191,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(Ycov, R)
 Zero algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 ```
 """
 algebraic_cycle(X::AbsCoveredScheme, R::Ring) = AlgebraicCycle(X, R)
@@ -229,7 +229,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(II, R)
 Effective algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 
@@ -270,7 +270,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(II, R)
 Effective algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 ```
diff --git a/experimental/Schemes/CartierDivisor.jl b/experimental/Schemes/CartierDivisor.jl
index 46f1d1dac95b..759a50ed8edf 100644
--- a/experimental/Schemes/CartierDivisor.jl
+++ b/experimental/Schemes/CartierDivisor.jl
@@ -168,7 +168,7 @@ defined by
 julia> cartier_divisor(E)
 Cartier divisor
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 defined by the formal sum of
   1 * sheaf of ideals
 ```
diff --git a/experimental/Schemes/WeilDivisor.jl b/experimental/Schemes/WeilDivisor.jl
index 13318f510ceb..a504f1e899e1 100644
--- a/experimental/Schemes/WeilDivisor.jl
+++ b/experimental/Schemes/WeilDivisor.jl
@@ -138,7 +138,7 @@ julia> II = IdealSheaf(Y, I);
 julia> weil_divisor(II)
 Effective weil divisor
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 ```
diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl
index 4c86f8b21230..41204d9a0d18 100644
--- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl
+++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl
@@ -378,7 +378,7 @@ julia> dim(X)
 julia> Y = affine_space(ZZ, 2)
 Spectrum
   of multivariate polynomial ring in 2 variables x1, x2
-    over integer Ring
+    over integer ring
 
 julia> dim(Y) # one dimension comes from ZZ and two from x1 and x2
 3
diff --git a/src/TropicalGeometry/linear_space.jl b/src/TropicalGeometry/linear_space.jl
index 66b91fbe4f2e..4d86875c0b01 100644
--- a/src/TropicalGeometry/linear_space.jl
+++ b/src/TropicalGeometry/linear_space.jl
@@ -45,7 +45,7 @@ julia> I = ideal(R,[-x1+x3+x4,-x2+x3+x5,-x1+x2+x6])
 ideal(-x1 + x3 + x4, -x2 + x3 + x5, -x1 + x2 + x6)
 
 julia> val = TropicalSemiringMap(ZZ)
-The trivial valuation on Integer Ring
+The trivial valuation on Integer ring
 
 julia> TropicalLinearSpace(I,val)
 TropicalLinearSpace{min, true}(Polyhedral complex in ambient dimension 6, #undef)