diff --git a/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl b/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl
index 0a39606a294..d49d63cce00 100644
--- a/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl
+++ b/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl
@@ -466,39 +466,30 @@ julia> Y = covered_scheme(IP1);
 
 julia> Omega = cotangent_sheaf(Y)
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
-  2: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
-  3: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
+  1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
+  2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
 
 julia> F = free_module(OO(Y), 1)
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
-  2: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
-  3: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
+  1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
+  2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
 
 julia> T = Oscar.HomSheaf(Omega, F)
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
-   ring in 2 variables over GF(7)^1)
-  2: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
-   ring in 2 variables over GF(7)^1)
-  3: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
-   ring in 2 variables over GF(7)^1)
+  1: hom of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
+  2: hom of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
 
 julia> typeof(T)
 Oscar.HomSheaf{CoveredScheme{FqField}, AbsAffineScheme, ModuleFP, Map}
@@ -561,39 +552,30 @@ julia> Y = covered_scheme(IP1);
 
 julia> Omega = cotangent_sheaf(Y)
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
-  2: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
-  3: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
+  1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
+  2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
 
 julia> F = free_module(OO(Y), 1)
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
-  2: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
-  3: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
+  1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
+  2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
 
 julia> W = Oscar.DirectSumSheaf(Y, [Omega, F])
 Coherent sheaf of modules
-  on scheme over GF(7) covered with 3 patches
-    1: [(y//x), (z//x)]   affine 2-space
-    2: [(x//y), (z//y)]   affine 2-space
-    3: [(x//z), (y//z)]   affine 2-space
+  on scheme over GF(7) covered with 2 patches
+    1: [(y//x)]   affine 1-space
+    2: [(x//y)]   affine 1-space
 with restrictions
-  1: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
-  ynomial ring in 2 variables over GF(7)^1)
-  2: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
-  ynomial ring in 2 variables over GF(7)^1)
-  3: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
-  ynomial ring in 2 variables over GF(7)^1)
+  1: direct sum of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
+  2: direct sum of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
 
 julia> typeof(W)
 DirectSumSheaf{CoveredScheme{FqField}, AbsAffineScheme, ModuleFP, Map}