diff --git a/Project.toml b/Project.toml
index 7e007b9..e180329 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "Groups"
 uuid = "5d8bd718-bd84-11e8-3b40-ad14f4a32557"
 authors = ["Marek Kaluba <kalmar@amu.edu.pl>"]
-version = "0.6.0"
+version = "0.7.0"
 
 [deps]
 GroupsCore = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120"
@@ -11,13 +11,13 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 ThreadsX = "ac1d9e8a-700a-412c-b207-f0111f4b6c0d"
 
 [compat]
-AbstractAlgebra = "0.15, 0.16"
-GroupsCore = "^0.3"
-KnuthBendix = "^0.2.1"
+AbstractAlgebra = "0.22"
+GroupsCore = "0.4"
+KnuthBendix = "0.3"
 OrderedCollections = "1"
-PermutationGroups = "^0.3"
-ThreadsX = "^0.1.0"
-julia = "1.3, 1.4, 1.5, 1.6"
+PermutationGroups = "0.3"
+ThreadsX = "0.1"
+julia = "1.3"
 
 [extras]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
diff --git a/src/groups/sautFn.jl b/src/groups/sautFn.jl
index ad71282..d7b0bd1 100644
--- a/src/groups/sautFn.jl
+++ b/src/groups/sautFn.jl
@@ -10,7 +10,7 @@ function SpecialAutomorphismGroup(F::FreeGroup; ordering = KnuthBendix.LenLex, k
     maxrules = 1000*n
 
     rws = KnuthBendix.RewritingSystem(rels, ordering(A))
-    @time KnuthBendix.knuthbendix!(rws; maxrules=maxrules, kwargs...)
+    KnuthBendix.knuthbendix!(rws; maxrules=maxrules, kwargs...)
     return AutomorphismGroup(F, S, rws, ntuple(i -> gens(F, i), n))
 end
 
diff --git a/src/types.jl b/src/types.jl
index 7486a8a..4dcec05 100644
--- a/src/types.jl
+++ b/src/types.jl
@@ -84,7 +84,6 @@ end
 ## GroupElement Interface for FPGroupElement
 
 Base.parent(f::AbstractFPGroupElement) = f.parent
-GroupsCore.parent_type(::Type{<:AbstractFPGroupElement{G}}) where {G} = G
 
 function Base.:(==)(g::AbstractFPGroupElement, h::AbstractFPGroupElement)
     @boundscheck @assert parent(g) === parent(h)