diff --git a/.github/badges/rules-count.json b/.github/badges/rules-count.json
index c7bb5e6..b00c762 100644
--- a/.github/badges/rules-count.json
+++ b/.github/badges/rules-count.json
@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
   "label": "Total rules",
-  "message": "3399",
+  "message": "3400",
   "color": "blue"
 }
diff --git a/src/methods/risch/frontend.jl b/src/methods/risch/frontend.jl
index a2ab675..3233620 100644
--- a/src/methods/risch/frontend.jl
+++ b/src/methods/risch/frontend.jl
@@ -661,8 +661,7 @@ Base.promote(x::MPolyRingElem{Nemo.QQBarFieldElem}, y::QQFieldElem) = promote(x,
 
 
 
-function TowerOfDifferentialFields(terms::Vector{Term})  where 
-    {T<:FieldElement, P<:MPolyRingElem{T}, F<:FracElem{P}}
+function TowerOfDifferentialFields(terms::Vector{Term})
     n = length(terms)
     MF = parent(terms[1].arg)
     MR = base_ring(MF)
diff --git a/src/methods/rule_based/general.jl b/src/methods/rule_based/general.jl
index eaea312..8f554f0 100644
--- a/src/methods/rule_based/general.jl
+++ b/src/methods/rule_based/general.jl
@@ -1,17 +1,15 @@
 # ===== Special functions from a lot of packages
-# TODO extension to Symbolics?
-
-# function from SpecialFunctions.jl that are not yet registered
-@register_symbolic SymbolicUtils.expinti(x)
-@register_symbolic SymbolicUtils.expint(nu, z)
-@register_symbolic SymbolicUtils.gamma(x, y)
-@register_symbolic SymbolicUtils.sinint(x)
-@register_symbolic SymbolicUtils.cosint(x)
-# other from SpecialFunctions.jl used:
-# SymbolicUtils.gamma(x)
-# SymbolicUtils.loggamma
-# SymbolicUtils.erfi
-# SymbolicUtils.erf
+
+# function from SpecialFunctions.jl used:
+# SpecialFunctions.expinti(x)
+# SpecialFunctions.expint(nu, z)
+# SpecialFunctions.gamma(x, y)
+# SpecialFunctions.sinint(x)
+# SpecialFunctions.cosint(x)
+# SpecialFunctions.gamma(x)
+# SpecialFunctions.loggamma
+# SpecialFunctions.erfi
+# SpecialFunctions.erf
 
 using Elliptic 
 @register_symbolic Elliptic.F(phi, m) # incomplete first kind