diff --git a/PackageInfo.g b/PackageInfo.g
index 3956c60..89bf5e4 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.05.17", ## Mohamed's version
+                   "2020.05.18", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -112,7 +112,7 @@ Dependencies := rec(
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.04.27" ],
                    [ "Algebroids", ">= 2020.04.24" ],
-                   [ "FunctorCategories", ">= 2020.05.13" ],
+                   [ "FunctorCategories", ">= 2020.05.18" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
diff --git a/examples/AssociatorUnitor.g b/examples/AssociatorUnitor.g
index eac5985..5a8bb4a 100644
--- a/examples/AssociatorUnitor.g
+++ b/examples/AssociatorUnitor.g
@@ -31,7 +31,7 @@ f := HomalgMatrix( f, 4, 4, GF3 );;
 f := VectorSpaceMorphism( V2, f, V2 );;
 nine := AsObjectInHomCategory( kq, [ V1, V2 ], [ d, e, f ] );;
 fortyone := TensorProductOnObjects( nine, nine );;
-etas := WeakDirectSumDecomposition( fortyone );;
+etas := WeakDirectSumDecompositionOld( fortyone );;
 eta := etas[3];;
 six := Source( eta );;
 thirtyfive := CokernelObject( eta );;
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index b4d6bff..8de9546 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -159,7 +159,7 @@ Display( nine(kq.b) );
 #! A morphism in Category of matrices over GF(3)
 IsWellDefined( nine );
 #! true
-Length( WeakDirectSumDecomposition( nine ) );
+Length( WeakDirectSumDecompositionOld( nine ) );
 #! 1
 fortyone := TensorProductOnObjects( nine, nine );
 #! <(1)->25, (2)->16; (a)->25x25, (b)->25x16, (c)->16x16>
@@ -266,7 +266,7 @@ Display( fortyone );
 #!  . . . . . . . . . . . . . . . 1
 #! 
 #! A morphism in Category of matrices over GF(3)
-etas := WeakDirectSumDecomposition( fortyone );;
+etas := WeakDirectSumDecompositionOld( fortyone );;
 dec := List( etas, eta -> List( SetOfObjects( kq ),
              o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) );
 #! [ [ 3, 0 ], [ 3, 1 ], [ 3, 3 ], [ 3, 3 ], [ 0, 3 ],
diff --git a/examples/RepresentingC4C4.g b/examples/RepresentingC4C4.g
index 8d8610d..0efbe7d 100644
--- a/examples/RepresentingC4C4.g
+++ b/examples/RepresentingC4C4.g
@@ -165,7 +165,7 @@ Display( eleven );
 #! . . . . 1
 #!
 #! A morphism in Category of matrices over GF(3)
-gammas := WeakDirectSumDecomposition( eleven );
+gammas := WeakDirectSumDecompositionOld( eleven );
 #! [ <(1)->1x6, (2)->0x5>, <(1)->1x6, (2)->1x5>, <(1)->1x6, (2)->1x5>,
 #!  <(1)->2x6, (2)->0x5>, <(1)->0x6, (2)->2x5>, <(1)->1x6, (2)->1x5> ]
 #! @EndExample
diff --git a/gap/CatRepsWithCAP.gd b/gap/CatRepsWithCAP.gd
index cd932ba..c96effe 100644
--- a/gap/CatRepsWithCAP.gd
+++ b/gap/CatRepsWithCAP.gd
@@ -130,7 +130,7 @@ DeclareOperation( "EmbeddingOfSubRepresentation",
 #!  the direct sum thereof is isomorphic to <A>F</A>.
 #! @Arguments F
 #! @Returns a list
-DeclareOperation( "WeakDirectSumDecomposition",
+DeclareOperation( "WeakDirectSumDecompositionOld",
         [ IsCapCategoryObjectInHomCategory ] );
 
 ####################################
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
index 1172c6a..1601f5c 100644
--- a/gap/CatRepsWithCAP.gi
+++ b/gap/CatRepsWithCAP.gi
@@ -321,7 +321,7 @@ InstallMethod( EmbeddingOfSubRepresentation,
 end );
 
 ##
-InstallMethod( WeakDirectSumDecomposition,
+InstallMethod( WeakDirectSumDecompositionOld,
         "for an object in a Hom-category",
         [ IsCapCategoryObjectInHomCategory ],