diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index ce91c23..2dbbc90 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -54,7 +54,7 @@ DeclareRepresentation( "IsQuasigroupElmRep",
 DeclareSynonym( "IsLoopElement",
     IsQuasigroupElement and IsMultiplicativeElementWithInverse );
 DeclareRepresentation( "IsLoopElmRep",
-    IsPositionalObjectRep and IsMultiplicativeElementWithInverse, [1] );
+    IsQuasigroupElmRRep and IsMultiplicativeElementWithInverse, [1] );
 
 ## Right quasigroup
 DeclareCategory("IsRightQuasigroup",