diff --git a/PackageInfo.g b/PackageInfo.g
index 6b4d42a..1416dbf 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -1,8 +1,8 @@
 SetPackageInfo( rec(
 PackageName := "loops",
 Subtitle := "Computing with quasigroups and loops in GAP",
-Version := "3.4.0",
-Date := "27/10/2017",
+Version := "3.4.1",
+Date := "29/10/2017",
 ArchiveURL := "http://www.math.du.edu/loops/loops-3.4.0",
 ArchiveFormats := "-win.zip .tar.gz",
 
diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index dc214cb..a33df6a 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -56,15 +56,20 @@ DeclareSynonym( "IsLoopElement",
 DeclareRepresentation( "IsLoopElmRep",
     IsPositionalObjectRep and IsMultiplicativeElementWithInverse, [1] );
 
-## latin (auxiliary category for GAP to tell apart IsMagma and IsQuasigroup)
-DeclareCategory( "IsLatinMagma", IsObject );
+## Right quasigroup
+DeclareCategory("IsRightQuasigroup", 
+                IsMagma and IsRightQuotientElementCollection);
+
+## Left quasigroup
+DeclareCategory("IsLeftQuasigroup",
+                IsMagma and IsLeftQuotientElementCollection);
 
 ## quasigroup
-DeclareCategory( "IsQuasigroup", IsMagma and IsLatinMagma );
+DeclareSynonym( "IsQuasigroup", IsRightQuasigroup and IsLeftQuasigroup );
 
 ## loop
 DeclareSynonym( "IsLoop", IsQuasigroup and IsMagmaWithOne and 
-                           IsMultiplicativeElementWithInverseCollection);
+                          IsMultiplicativeElementWithInverseCollection);
 
 #############################################################################
 ##  TESTING MULTIPLICATION TABLES