diff --git a/PackageInfo.g b/PackageInfo.g
index 6e12b0f..25389b3 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -9,7 +9,7 @@ SetPackageInfo( rec(
PackageName := "XModAlg",
Subtitle := "Crossed Modules and Cat1-Algebras",
Version := "1.32-dev",
-Date := "17/03/2026", # dd/mm/yyyy format
+Date := "11/09/2026", # dd/mm/yyyy format
License := "GPL-2.0-or-later",
Persons := [
diff --git a/doc/algebra.xml b/doc/algebra.xml
index 74a5b8e..fce3bc4 100644
--- a/doc/algebra.xml
+++ b/doc/algebra.xml
@@ -19,8 +19,8 @@ All the algebras considered in this package will be associative
and commutative.
Scalars belong to a commutative ring k with 1 \neq 0.
-(Why not a field?
-A group ring over the integers is not an algebra. [CDW])
+(Why not a field? A group ring over the integers is not an algebra.
+[CDW])
diff --git a/doc/intro.xml b/doc/intro.xml
index 836c54e..2f89552 100644
--- a/doc/intro.xml
+++ b/doc/intro.xml
@@ -2,7 +2,7 @@
-
+
diff --git a/doc/xmod.xml b/doc/xmod.xml
index 5bf8c44..1d58947 100644
--- a/doc/xmod.xml
+++ b/doc/xmod.xml
@@ -194,7 +194,7 @@ We also show usage of the attributes listed above.
RepresentationsOfObject( XIAk4 );
+gap> Set( RepresentationsOfObject( XIAk4 ) );
[ "IsComponentObjectRep", "IsAttributeStoringRep", "IsPreXModAlgebraObj" ]
gap> Set( KnownPropertiesOfObject( XIAk4 ) );
[ "CanEasilyCompareElements", "CanEasilySortElements", "Is2dAlgebraObject",
diff --git a/lib/module.gd b/lib/module.gd
index 95fc261..7ce1817 100644
--- a/lib/module.gd
+++ b/lib/module.gd
@@ -173,8 +173,8 @@ DeclareProperty( "IsModuleAsAlgebra", IsAlgebra );
##
##
##
-## These two algebra mappings are attributes of a module converted into
-## an algebra. They are required for the process of converting
+## These two algebra mappings are attributes of a module converted into an
+## algebra. They are required for the process of converting
## the action of A on M into an action on B.
## Note that these left module homomorphisms have as source
## or range the underlying module V, not M.
diff --git a/makedoc.g b/makedoc.g
index e99c7a3..9925de7 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -7,15 +7,15 @@ LoadPackage( "GAPDoc" );
LoadPackage( "AutoDoc" );
AutoDoc( rec(
- extract_examples := rec(
- subdir := "tst",
- ),
gapdoc := rec(
LaTeXOptions := rec( EarlyExtraPreamble := """
\usepackage[all]{xy}
\newcommand{\hello} {\mathrm{hello}}
""" )
),
+ extract_examples := rec(
+ subdir := "tst",
+ ),
scaffold := rec(
## MainPage := false,
includes := [ "intro.xml", "algebra.xml", "cat1.xml",
diff --git a/tst/algebra.tst b/tst/algebra.tst
index a3a9278..3672671 100644
--- a/tst/algebra.tst
+++ b/tst/algebra.tst
@@ -84,7 +84,9 @@ gap> theta1 := NaturalHomomorphismByIdeal( A1, I1 );
gap> List( BA1, v -> ImageElm( theta1, v ) );
[ v.1, v.2, v.3, v.4, (Z(5)^2)*v.1+(Z(5)^2)*v.3, (Z(5)^2)*v.2+(Z(5)^2)*v.4 ]
gap> AlgebraActionBySurjection( theta1 );
+!!!
kernel of hom is not in the annihilator of A
+!!!
fail
gap> ## an example which does not fail:
gap> m2 := [ [0,1,2,3], [0,0,1,2], [0,0,0,1], [0,0,0,0] ];;