diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
index 618b10725d..93beabca18 100644
--- a/CAP/PackageInfo.g
+++ b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.10-04",
+Version := "2023.10-05",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 
diff --git a/CAP/gap/DerivedMethods.autogen.gi b/CAP/gap/DerivedMethods.autogen.gi
index 3b9a2c5c49..1a110c04da 100644
--- a/CAP/gap/DerivedMethods.autogen.gi
+++ b/CAP/gap/DerivedMethods.autogen.gi
@@ -562,7 +562,7 @@ AddDerivationToCAP( IsCodominating,
                     
   function ( cat_1, arg2_1, arg3_1 )
     return IsDominating( cat_1, KernelEmbedding( cat_1, arg3_1 ), KernelEmbedding( cat_1, arg2_1 ) );
-end : CategoryFilter := IsCapCategory,
+end : CategoryFilter := IsAbelianCategory,
       Weight := 1,
       is_autogenerated_by_CompilerForCAP := true );
 
diff --git a/CAP/gap/DerivedMethods.gi b/CAP/gap/DerivedMethods.gi
index c384928570..83c0147c21 100644
--- a/CAP/gap/DerivedMethods.gi
+++ b/CAP/gap/DerivedMethods.gi
@@ -897,7 +897,7 @@ AddDerivationToCAP( IsDominating,
     
     return IsCodominating( cat, cokernel_projection_2, cokernel_projection_1 );
     
-end );
+end : CategoryFilter := IsAbelianCategory );
 
 ##
 AddDerivationToCAP( IsDominating,