diff --git a/src/FunField/HessQR.jl b/src/FunField/HessQR.jl
index b5a0d86eca..b5d7d6e3ba 100644
--- a/src/FunField/HessQR.jl
+++ b/src/FunField/HessQR.jl
@@ -111,6 +111,8 @@ function expressify(a::HessQRElem; context = nothing)
                               expressify(a.g, context = context)))
 end
 
+Hecke.characteristic(::HessQR) = 0
+
 function Hecke.integral_split(a::Generic.RationalFunctionFieldElem{QQFieldElem}, S::HessQR)
   if iszero(a)
     return zero(S), one(S)
diff --git a/src/NumField/NfAbs/Elem.jl b/src/NumField/NfAbs/Elem.jl
index 89ff2c5fc2..8fa2d76df0 100644
--- a/src/NumField/NfAbs/Elem.jl
+++ b/src/NumField/NfAbs/Elem.jl
@@ -157,6 +157,8 @@ end
 
 #In this version, n is supposed to be a prime power
 function is_norm_divisible_pp(a::AbsSimpleNumFieldElem, n::ZZRingElem)
+  Main.a = a
+  Main.n = n
   K = parent(a)
   if !is_coprime(denominator(K.pol), n)
     na = norm(a)
diff --git a/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl b/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
index 222cfefdd6..bc73eafcd0 100644
--- a/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
+++ b/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
@@ -741,6 +741,7 @@ function _decomposition(O::AbsNumFieldOrder, I::AbsNumFieldOrderIdeal, Ip::AbsNu
           Ba = basis(P, copy = false)
           for i in 1:degree(O)
             if !is_norm_divisible_pp((v*Ba[i] + u).elem_in_nf, modulo)
+              @assert !is_zero(mod(ZZ(norm((v*Ba[i] + u).elem_in_nf)), modulo))
               u = v*Ba[i] + u
               break
             end