diff --git a/src/groebner/isgroebner.jl b/src/groebner/isgroebner.jl
index e35d35ca..3fcefa2d 100644
--- a/src/groebner/isgroebner.jl
+++ b/src/groebner/isgroebner.jl
@@ -18,7 +18,7 @@ function _isgroebner(
     monoms::Vector{Vector{M}},
     coeffs::Vector{Vector{C}},
     params
-) where {M, C <: CoeffFF}
+) where {M <: Monom, C <: CoeffFF}
     basis, pairset, hashtable = initialize_structs(ring, monoms, coeffs, params)
     f4_isgroebner!(ring, basis, pairset, hashtable)
 end
@@ -29,7 +29,7 @@ function _isgroebner(
     monoms::Vector{Vector{M}},
     coeffs::Vector{Vector{C}},
     params
-) where {M, C <: CoeffQQ}
+) where {M <: Monom, C <: CoeffQQ}
     buffer = CoefficientBuffer()
     basis, pairset, hashtable = initialize_structs(ring, monoms, coeffs, params)
     # If an honest computation over the rationals is needed
diff --git a/test/regressions.jl b/test/regressions.jl
index f3844363..7b9df0a8 100644
--- a/test/regressions.jl
+++ b/test/regressions.jl
@@ -15,12 +15,12 @@ end
     ord = Groebner.DegRevLex()
     gb1 = Groebner.groebner([x, y], ordering=ord)
     gb2 = Groebner.groebner([R(0)], ordering=ord)
-    @test ordering(parent(first(gb1))) === :degrevlex
-    @test ordering(parent(first(gb2))) === :degrevlex
+    @test AbstractAlgebra.ordering(parent(first(gb1))) === :degrevlex
+    @test AbstractAlgebra.ordering(parent(first(gb2))) === :degrevlex
     nf1 = Groebner.normalform([x, y], x, ordering=ord)
     nf2 = Groebner.normalform([x, y], R(0), ordering=ord)
-    @test ordering(parent(nf1)) === :degrevlex
-    @test_broken ordering(parent(nf2)) === :degrevlex
+    @test AbstractAlgebra.ordering(parent(nf1)) === :degrevlex
+    @test_broken AbstractAlgebra.ordering(parent(nf2)) === :degrevlex
 end
 
 @testset "regression, SI.jl cmp" begin