diff --git a/PackageInfo.g b/PackageInfo.g
index 89bf5e4..a201ba5 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.18", ## Mohamed's version
+                   "2020.05.19", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 8de9546..c29707d 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -7,8 +7,6 @@ c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
 qc3c3 := RightQuiverFromConcreteCategory( c3c3 );
 #! q(2)[a:1->1,b:1->2,c:2->2]
-HOMALG_MATRICES.PreferDenseMatrices := true;
-#! true
 GF3 := HomalgRingOfIntegers( 3 );
 #! GF(3)
 kq := Algebroid( GF3, c3c3 );
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
index 1601f5c..d099b92 100644
--- a/gap/CatRepsWithCAP.gi
+++ b/gap/CatRepsWithCAP.gi
@@ -278,8 +278,8 @@ InstallMethod( RecordOfCatRep,
   function( F )
 
     return rec( category := RecordOfCategory( Source( CapCategory( F ) ) ),               
-                genimages := List( ValuesOnAllGeneratingMorphisms( F ), 
-					a -> Eval( UnderlyingMatrix( a ) )!.matrix ),
+                genimages := List( ValuesOnAllGeneratingMorphisms( F ),
+                                    a -> EntriesOfHomalgMatrixAsListList( UnderlyingMatrix( a ) ) ),
                 dimension := List( ValuesOnAllObjects( F ), Dimension ),
                 field := CommutativeRingOfLinearCategory( 
 					Source( CapCategory( F ) ) )!.ring