diff --git a/PackageInfo.g b/PackageInfo.g
index f3a0d30..6931305 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.07.03", ## Mohamed's version
+                   "2020.07.05", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.07.04", ## Tibor's version
                    ## this line prevents merge conflicts
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 0012e95..6ad7b63 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -470,7 +470,7 @@ Display( emb );
 #! Image of <(1)>:
 #!  . 1 .
 #! 
-#! A morphism in Category of matrices over GF(3)
+#! A split monomorphism in Category of matrices over GF(3)
 #! 
 #! 
 #! Image of <(2)>: